Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs

Quality software must be reusable, extensible, and reliable. Object-oriented programming purports to achieve these attributes by the use of classes and inheritance (informally). In this paper, we show how our existing approach to deductive synthesis of logic programs can serve as the basis for an object-oriented methodology for formal program development that achieves reusability, extensibility and correctness (formally).

[1]  Jens Palsberg,et al.  Object-oriented type systems , 1994, Wiley professional computing.

[2]  Kung-Kiu Lau,et al.  On Specification Frameworks and Deductive Synthesis of Logic Programs , 1994, International Workshop/Symposium on Logic-based Program Synthesis and Transformation.

[3]  Antonio Brogi,et al.  Modular logic programming , 1994, TOPL.

[4]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[5]  Pierangelo Miglioli,et al.  Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical Methods , 1994, J. Symb. Comput..

[6]  Kung-Kiu Lau,et al.  The Halting Problem for Deductive Synthesis of Logic Programs , 1994, ICLP.

[7]  Alberto Bertoni,et al.  On the power of model theory in specifying abstract data types and in capturing their recursiveness , 1983 .

[8]  Chris Moss.  Prolog++ - the power of object-oriented and logic programming , 1994, International series in logic programming.

[9]  Kim B. Bruce.  A paradigmatic object-oriented programming language: Design, static typing and semantics , 1994, Journal of Functional Programming.

[10]  Philip Wadler.  Type systems for object-oriented programming , 1994 .

[11]  Yves Deville,et al.  Logic Program Synthesis , 1994, J. Log. Program..

[12]  Evelina Lamma,et al.  Modularity in Logic Programming , 1994, J. Log. Program..

[13]  Bertrand Meyer,et al.  Eiffel: The Language , 1991 .

[14]  Martin Wirsing,et al.  Algebraic Specification , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[15]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[16]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .