A Logic for the Verification of Object-Oriented Programs

In: Berghammer, R. and Simon, F.ed., Programming Languages and Fundamentals of Programming. Technical Report, volume 9717, Christian-Albrechts-Universität Kiel, Available, 1997

Authors

• Arnd Poetzsch-Heffter
• Peter Müller

Abstract

This extended abstract presents Hoare-style verification rules for the most important object-oriented language features including abstract types, dynamic binding, subtyping, and inheritance. The logic is introduced for an object-oriented kernel language.

BibTeX

@InProceedings{Poetzsch-Heffter.Mueller97logic, 
   author = {Arnd Poetzsch-Heffter and Peter Müller}
   title = {A Logic for the Verification of Object-Oriented Programs},
   booktitle = {Programming Languages and Fundamentals of Programming},
   series = {Technical Report},
   institution = {Christian-Albrechts-Universität Kiel},
   note = {Available},
   year = {1997},
}