-
2
-
-
0025256146
-
Turning eureka steps into calculations in automatic program synthesis
-
In S. L.H. Clarke, editor IEE. Also available from Edinburgh as DAI Research Paper 448
-
A. Bundy, A. Smaill, and J. Hesketh. Turning eureka steps into calculations in automatic program synthesis. In S. L.H. Clarke, editor, Proceedings of UK IT 90, pages 221-6. IEE, 1990. Also available from Edinburgh as DAI Research Paper 448.
-
(1990)
Proceedings of UK IT 90
, pp. 221-226
-
-
Bundy, A.1
Smaill, A.2
Hesketh, J.3
-
3
-
-
0027643028
-
Rippling: A heuristic for guiding inductive proofs
-
Also available from Edinburgh as DAI Resea rch Paper No. 567
-
A. Bundy, A. Stevens, F. Van Harmelen, A. Ireland, and A. Smaill. Rippling: A heuristic for guiding inductive proofs. Artificial Intelligence, 62:185-253, 1993. Also available from Edinburgh as DAI Resea rch Paper No. 567.
-
(1993)
Artificial Intelligence
, vol.62
, pp. 185-253
-
-
Bundy, A.1
Stevens, A.2
Van Harmelen, F.3
Ireland, A.4
Smaill, A.5
-
5
-
-
36849063221
-
An integration of deductive retrieval into deductive synthesis
-
Cocoa Beach, Florida, USA October
-
Bernd Fischer and JonWhittle. An integration of deductive retrieval into deductive synthesis. In Proceedings of the 14th IEEE International Conference on Automated Software Engineering (ASE'99), pages 52-61, Cocoa Beach, Florida, USA, October 1999.
-
(1999)
Proceedings of the 14th IEEE International Conference on Automated Software Engineering (ASE'99
, pp. 52-61
-
-
Fischer, B.1
Whittle, J.2
-
9
-
-
0030783516
-
From context-free to definite-clause grammars: A type-theoretic approach
-
J. Haas and B. Jayaraman. From context-free to definite-clause grammars: A type-theoretic approach. Journal of Logic Programming, 30, 1997.
-
(1997)
Journal of Logic Programming
, vol.30
-
-
Haas, J.1
Jayaraman, B.2
-
10
-
-
51849155667
-
Uses of higher-order uni-cation for implementing program transformers
-
In R. A. Kowalski and K. A. Bowen, editors. MIT Press
-
J. Hannan and D. Miller. Uses of higher-order uni-cation for implementing program transformers. In R. A. Kowalski and K. A. Bowen, editors, Proceedings of the Fifth International Conference and Symposium, pages 942-59. MIT Press, 1988.
-
(1988)
Proceedings of the Fifth International Conference and Symposium
, pp. 942-959
-
-
Hannan, J.1
Miller, D.2
-
11
-
-
0018050926
-
Proving and applying program transformation expressed with second order patterns
-
G. Huet,B. Lang Proving and applying program transformation expressed with second order patterns Acta Informatica 11, 31-55, 1978.
-
(1978)
Acta Informatica
, vol.11
, pp. 31-55
-
-
Huet, G.1
Lang, B.2
-
12
-
-
0345595092
-
-
PhD thesis, Department of Artificial Intelligence, University of Edinburgh
-
. I. Kraan. Proof Planning for Logic Program Synthesis. PhD thesis, Department of Artificial Intelligence, University of Edinburgh, 1994.
-
(1994)
Proof Planning for Logic Program Synthesis
-
-
Kraan, I.1
-
13
-
-
0043151703
-
Logic program synthesis via proo f planning
-
In K. K. Lau and T. Clement, editors. Springer-Verlag Also available as Max-Planck-Institut für Informatik Report MPI-I-92-244 and Edinburgh DAI Research Report 603
-
I. Kraan, D. Basin, and A. Bundy. Logic program synthesis via proo f planning. In K. K. Lau and T. Clement, editors, Logic Program Synthesis and Transforma-tion, pages 1-14. Springer-Verlag, 1993. Also available as Max-Planck-Institut für Informatik Report MPI-I-92-244 and Edinburgh DAI Research Report 603.
-
(1993)
Logic Program Synthesis and Transforma-tion
, pp. 1-14
-
-
Kraan, I.1
Basin, D.2
Bundy, A.3
-
14
-
-
33749984725
-
Middle-out reasoning for logic program synthesis
-
In D. S. Warren, editor MIT Press. Also available as Max-Planck-Institut für Informatik Report MPI-I-93-214 and Edinburgh DAI Research Report 638
-
I. Kraan, D. Basin, and A. Bundy. Middle-out reasoning for logic program synthesis. In D. S. Warren, editor, Proceedings of the Tenth International Conference on Logic Programming. MIT Press, 1993. Also available as Max-Planck-Institut für Informatik Report MPI-I-93-214 and Edinburgh DAI Research Report 638.
-
(1993)
Proceedings of the Tenth International Conference on Logic Programming
-
-
Kraan, I.1
Basin, D.2
Bundy, A.3
-
15
-
-
84949436164
-
Forms of logic speci-cations. A preliminary study
-
In J. Ga llagher, editor. Springer-Verlag
-
K.-K. Lau and M. Ornaghi. Forms of logic speci-cations. A preliminary study. In J. Ga llagher, editor, LOPSTR '96, number 1207 in Lecture Notes in Computer Science, pages 295-312. Springer-Verlag, 1996.
-
(1996)
LOPSTR '96 Number 1207 in Lecture Notes in Computer Science
, pp. 295-312
-
-
Lau, K.-K.1
Ornaghi, M.2
-
16
-
-
0042121695
-
Top-down synthesis of recursive logic pro cedures from first-order logic speci-cations
-
In D.H. D. Warren and P. Szeredi, editors MIT Press
-
K.-K. Lau and S.D. Prestwich. Top-down synthesis of recursive logic pro cedures from first-order logic speci-cations. In D.H.D. Warren and P. Szeredi, editors, Proc. 7th Int. Conf. on Logic Programming, pages 667-684. MIT Press, 1990.
-
(1990)
Proc. 7th Int. Conf. on Logic Programming
, pp. 667-684
-
-
Lau, K.-K.1
Prestwich, S.D.2
-
17
-
-
0026263528
-
Sy nthesis of a family of recursive sorting procedures
-
In V. Saraswat and K. Ueda, editors MIT Press
-
K.-K. Lau and S.D. Prestwich. Sy nthesis of a family of recursive sorting procedures. In V. Saraswat and K. Ueda, editors, Proc. 1991 Int. Logic Programming Symposium, pages 641-658. MIT Press, 1991.
-
(1991)
Proc. 1991 Int. Logic Programming Symposium
, pp. 641-658
-
-
Lau, K.-K.1
Prestwich, S.D.2
-
18
-
-
0013212455
-
-
Technical Report MS-CIS-90-54, Department of Computer and Information Science, University of Pennsylvania. Appeared in Ex-tensions of Logic Programming, edi ted by P. Schröder-Heister, Lecture Notes in Artificial Intelligence, Springer-Verlag
-
D. Miller. A logic programming language with lambda abstraction, function variables and simple uni-cation. Technical Report MS-CIS-90-54, Department of Computer and Information Science, University of Pennsylvania, 1990. Appeared in Ex-tensions of Logic Programming, edi ted by P. Schröder-Heister, Lecture Notes in Artificial Intelligence, Springer-Verlag.
-
(1990)
A Logic Programming Language with Lambda Abstraction, Function Variables and Simple Uni-Cation
-
-
Miller, D.1
-
20
-
-
84957077641
-
System description: Proof planning in higher-order logic with lambdaclam
-
In Claude Kirchner and H-el-ene Kirchner, editors Lindau, Germany July
-
J.D.C Richardson, A. Smaill, and Ian Green. System description: proof planning in higher-order logic with lambdaclam. In Claude Kirchner and H-el-ene Kirchner, editors, 15th International Conference on Automated Deduction, volume 1421 of Lecture Notes in Artificial Intelligence, Lindau, Germany, July 1998.
-
(1998)
15th International Conference on Automated Deduction Volume 1421 of Lecture Notes in Artificial Intelligence
-
-
Richardson, J.D.C.1
Smaill, A.2
Green, I.3
-
21
-
-
84949223061
-
An opportunistic approach for logic program analysis and optimisation using enhanced schema-based transformations
-
U trecht, Netherlands volume 1048 of Lecture Notes in Computer Science. SpringerVerlag
-
W. W. Vasconcelos and N.E. Fuchs. An opportunistic approach for logic program analysis and optimisation using enhanced schema-based transformations. In Proceedings of LoPSTr'95, Fifth International Workshop on Logic Program Syn-thesis and Transformation, U trecht, Netherlands, volume 1048 of Lecture Notes in Computer Science, pages 175-188. Springer Verlag, 1996.
-
(1996)
Proceedings of LoPSTr'95, Fifth International Workshop on Logic Program Syn-thesis and Transformation
, pp. 175-188
-
-
Vasconcelos, W.W.1
Fuchs, N.E.2
|