On correct program schemas

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1463, Issue , 1998, Pages 128-147

  Flener, Pierre ^a   Lau, Kung Kiu ^b   Ornaghi, Mario ^c  

^a BILKENT UNIVERSITY   (Turkey)

^b UNIVERSITY OF MANCHESTER   (United Kingdom)

^c UNIVERSITY OF MILAN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL LOGIC;

HIGHER-ORDER; LOGIC PROGRAMS; ORDER THEORY; PROBLEM DOMAIN;

LOGIC PROGRAMMING;

EID: 84947919350     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49674-2_7     Document Type: Conference Paper

References (29)

1. D. Barker-Plummer. Cliche Programming in Prolog. In M. Bruynooghe, editor, Proc. META 90, pages 246-256, 1992.
2. E. Chasseur and Y. Deville. Logic program schemas, semi-unification and constraints. This volume.
3. N. Dershowitz. The Evolution of Programs. Birkhäuser, 1983.
4. Y. Deville and J. Burnay. Generalization and program schemata: A step towards computer-aided construction of logic programs. In E.L. Lusk and R.A. Overbeek, editors, Proc. NACLP’89, pages 409-425. MIT Press, 1989.
5. Y. Deville. Logic Programming: Systematic Program Development. Addison-Wesley, 1990.
6. P. Flener. Logic Program Synthesis from Incomplete Information. Kluwer, 1995.
7. P. Flener and Y. Deville. Logic program transformation through generalization schemata. In M. Proietti, editor, Proc. LOPSTR’95, pages 171-173. LNCS 1048, Springer-Verlag, 1996.
8. P. Flener and K.-K. Lau. Program Schemas as Steadfast Programs and their Usage in Deductive Synthesis. Tech Rep BU-CEIS-9705, Bilkent University, Ankara, Turkey, 1997.
9. P. Flener, K.-K. Lau, and M. Ornaghi, Correct-schema-guided Synthesis of Steadfast Programs, Proc. 12th IEEE International Automated Software Engineering Conference, pages 153-160, IEEE Computer Society, 1997.
10. T.S. Gegg-Harrison. Representing logic program schemata in λ-Prolog. In L. Sterling, editor, Proc. ICLP’95, pages 467-481. MIT Press, 1995.
11. T.S. Gegg-Harrison. Extensible Logic Program Schemata. In J. Gallagher, editor, Proc. LOPSTR’96, LNCS 1207, pages 256-274, Springer-Verlag, 1997.
12. J.A. Goguen, J.W. Thatcher, and E. Wagner. An initial algebra approach to specification, correctness and implementation. In R. Yeh, editor, Current Trends in Programming Methodology, IV, pages 80-149. Prentice-Hall, 1978.
13. J.A. Goguen and J. Meseguer. Unifying functional, object-oriented and relational programming with logical semantics. In B. Shriver and P. Wegner, editors, Research Directions in Object-Oriented Programming, pages 417-477. MIT Press, 1987.
14. A. Hamfelt and J. Fischer-Nilsson. Inductive metalogic programming. In S. Wrobel, editor, Proc. ILP’94, pages 85-96. GMD-Studien Nr. 237, Sankt Augustin, Germany, 1994.
15. W. Hodges. Logical features of Horn clauses. In D.M. Gabbay, C.J. Hogger, and J.A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 1: Logical Foundations, pages 449-503, Oxford University Press, 1993.
16. A.-L. Johansson. Interactive program derivation using program schemata and incrementally generated strategies. In Y. Deville, editor, Proc. LOPSTR’93, pages 100-112. Springer-Verlag, 1994.
17. K.-K. Lau and M. Ornaghi. Forms of logic specifications: A preliminary study. In J. Gallagher, editor, Proc. LOPSTR’96, pages 295-312, LNCS 1207, Springer-Verlag, 1997.
18. K.-K. Lau, M. Ornaghi, and S.-Å. Tärnlund. The halting problem for deductive synthesis of logic programs. In P. van Hentenryck, editor, Proc. ICLP’94, pages 665-683. MIT Press, 1994.
19. K.-K. Lau, M. Ornaghi, and S.-Å. Tärnlund. Steadfast logic programs. J. Logic Programming, submitted.
20. J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 2nd edition, 1987.
21. Z. Manna. Mathematical Theory of Computation. McGraw-Hill, 1974.
22. E. Marakakis and J.P. Gallagher. Schema-based top-down design of logic programs using abstract data types. In L. Fribourg and F. Turini, editors, Proc. LOP-STR/META’94, pages 138-153, LNCS 883, Springer-Verlag, 1994.
23. J. Richardson and N. Fuchs. Development of correct transformational schemata for Prolog programs. This volume.
24. D. Sannella and A. Tarlecki. Essential concepts of algebraic specification and program development. Formal Aspects of Computer Science, forthcoming.
25. D.R. Smith. Top-down synthesis of divide-and-conquer algorithms. Artificial Intelligence 27(1):43-96, 1985.
26. D.R. Smith. KIDS: A semiautomatic program development system. IEEE Trans. Software Engineering 16(9):1024-1043, 1990.
27. L.S. Sterling and M. Kirschenbaum. Applying techniques to skeletons. In J.- M. Jacquet, editor, Constructing Logic Programs, pages 127-140. John Wiley, 1993.
28. W.W. Vasconcelos and N.E. Fuchs. An opportunistic approach for logic program analysis and optimisation using enhanced schema-based transformations. In M. Proietti, editor, Proc. LOPSTR’95, pages 174-188. LNCS 1048, Springer-Verlag, 1996.
29. M. Wirsing. Algebraic specification. In J. Van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 675-788. Elsevier, 1990.