Formal development of correct classes in computational logic

Quality software must be reusable, extensible and reliable. In computational logic, we have developed an approach to constructing programs that are formally correct. Our approach can provide a basis for constructing software that is (formally) reusable and extensible, and not just reliable but formally correct. In this paper, we explain our notion of correct classes, and how to develop them.

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

[2]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[3]  Kung-Kiu Lau,et al.  A Formal Approach to Deductive Synthesis of Constraint Logic Programs , 1995, ILPS.

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

[5]  José Meseguer,et al.  Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics , 1987, Research Directions in Object-Oriented Programming.

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

[7]  Christoph Kreitz,et al.  Formal Reasoning about Modules, Reuse and their Correctness , 1996, FAPR.

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

[9]  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.

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

[11]  Peter Wegner,et al.  The Object-Oriented Classification Paradigm , 1987, Research Directions in Object-Oriented Programming.

[12]  Joseph A. Goguen,et al.  Institutions: abstract model theory for specification and programming , 1992, JACM.

[13]  Kung-Kiu Lau,et al.  Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs , 1995, LOPSTR.

[14]  Kenneth Kunen,et al.  Negation in Logic Programming , 1987, J. Log. Program..

[15]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .