Logical Foundations for Declarative Object-oriented Programming.

Christoph Kreitz, Kung-Kiu Lau, Mario Ornaghi.

Forschungsbericht AIDA-95-14, TU Darmstadt, FG Intellektik, 1995.


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.

Back to overview of papers

Bibtex Entry

@TechReport{tr:KreitzLauOrnaghi95a, author = "Christoph Kreitz and Kung-Kiu Lau and Mario Ornaghi", title = "Logical Foundations for Declarative Object-oriented Programming", institution = "FG Intellektik, TU Darmstadt", year = 1995, type = "Forschungsbericht", number = "AIDA--95--14" }