Towards an object-oriented methodology for deductive synthesis of logic programs

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

Volumn 1048, Issue , 1996, Pages 152-169

  Lau, Kung Kiu ^a   Ornaghi, Mario ^b  

^a Technische Hochschvde Darmstadt   (Germany)

^b UNIVERSITY OF MILAN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; COMPUTER SOFTWARE REUSABILITY; FORMAL LOGIC; LOGIC PROGRAMMING; REUSABILITY;

DEDUCTIVE SYNTHESIS; FORMAL PROGRAM DEVELOPMENT; LOGIC PROGRAMS; OBJECT ORIENTED METHODOLOGY; QUALITY SOFTWARE;

OBJECT ORIENTED PROGRAMMING;

EID: 35048896009     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60939-3_11     Document Type: Conference Paper

References (17)

1. A. Bertoni, G. Mauri and P. Miglioli. On the power of model theory in specifying abstract data types and in capturing their recursiveness. Fundamenta Informaticae VI(2):127-170, 1983.
2. A. Brogi, P. Mancarella, D. Pedreschi and F. Turini. Modular logic programming. ACM TOPLAS 16(4):1361-1398, 1994.
3. K.M. Bruce. A paradigmatic object-oriented programming language: Design, static typing and semantics. J. Functional Programming 4(2):127-206, 1994. Special issue: Type systems for object-oriented programming.
4. M. Bugliesi, E. Lamina and P. Mello. Modularity in logic programming. J. Logic Programming 19,20:443-502, 1994. Special issue: Ten years of logic programming.
5. C.C. Chang and H.J. Keisler. Model Theory. North-Holland, 1973.
6. Y. Deville and K.K. Lau. Logic program synthesis. J. Logic Programming 19,20:321-350, 1994. Special issue: Ten years of logic programming.
7. J. Functional Programming 4(2), 1994. Special issue: Type systems for object-oriented programming.
8. K.K. Lau and M. Ornaghi. On specification frameworks and deductive synthesis of logic programs. In L. Fribourg and F. Turini, editors, Proc. LOPSTR 94 and META 94, Lecture Notes in Computer Science 883, pages 104-121, Springer-Verlag, 1994.
9. K.K. Lau, M. Ornaghi and S.-Å. Tärnlund. The halting problem for deductive synthesis of logic programs. In P. van Hentenryck, editor, Proc. 11th Int. Conf. on Logic Programming, pages 665-683, MIT Press, 1994.
10. K.K. Lau, M. Ornaghi and S.-Å. Tärnlund. Steadfast logic programs. Submitted to J. Logic Programming.
11. F.G. McCabe. L& O: Logic and Objects. Prentice-Hall, 1992.
12. B. Meyer. Object-oriented Software Construction. Prentice Hall, 1988.
13. B. Meyer. Eiffel the Language. Prentice Hall, 1992.
14. P. Miglioli, U. Moscato and M. Ornaghi. Abstract parametric classes and abstract data types defined by classical and constructive logical methods. J. Symb. Comp. 18:41-81, 1994.
15. C.D.S. Moss. Prolog++ The Power of Object-Oriented and Logic Programming. Addison Wesley, 1994.
16. J. Palsberg and M.I. Schwartzbach. Object-Oriented Type Systems. Wiley, 1994.
17. M. Wirsing. Algebraic specification. In J. Van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 675-788. Elsevier, 1990.