Previous: TR 95-05 Next: TR 95-07

Intellektik: Technical report 95-06

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

Kung-Kiu Lau and Mario Ornaghi

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).

Full Paper: Compressed postscript Compressed DVI

BibTeX entry