Logical Foundations for Typed Object-Oriented Languages

In: Gries, D. and De~Roever, W.ed., Programming Concepts and Methods. Available, 1998

Authors

• Arnd Poetzsch-Heffter
• Peter Müller

Abstract

This paper presents logical foundations for the most important object-oriented language features, including abstract types, dynamic binding, subtyping, and inheritance. These foundations are introduced along with an object-oriented kernel language. We show how object environments of such languages can be formalized in an algebraic way. Based on this foundation, we develop a Hoare-style logic for formal verification of object-oriented programs.

Full Text

• PDF: lftool.pdf
• PS.GZ: lftool.ps.gz

BibTeX

@InProceedings{Poetzsch-Heffter.Mueller98logical, 
   author = {Arnd Poetzsch-Heffter and Peter Müller}
   title = {Logical Foundations for Typed Object-Oriented Languages},
   booktitle = {Programming Concepts and Methods},
   note = {Available},
   year = {1998},
}