Previous: TR 95-12 Next: TR 96-01

Intellektik: Technical report 95-14

Logical Foundations for Declarative Object-oriented Programming

Christoph Kreitz and Kung-Kiu Lau and Mario Ornaghi

We present a formalism for reasoning about declarative object-oriented programs. Classes are represented as first-order theories that contain logic programs as methods. Inheritance, genericity and related concepts are represented by operations on such theories which preserve the consistency of these theories as well as the correctness of the programs specified by their axioms. Our approach provides a logical basis for the construction of correct and reusable programming systems.

Full Paper: Compressed postscript Compressed DVI

BibTeX entry