Sciweavers

Share
BIRTHDAY
2003
Springer

A Logic of Object-Oriented Programs

10 years 9 months ago
A Logic of Object-Oriented Programs
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in objects. It is much like a type system for objects with subtyping, but our speciļ¬cations go further than types in detailing pre- and postconditions. We intend the logic as an analogue of Hoare logic for object-oriented programs. Our main technical result is a soundness theorem that relates the logic to a standard operational semantics.
Martín Abadi, K. Rustan M. Leino
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where BIRTHDAY
Authors Martín Abadi, K. Rustan M. Leino
Comments (0)
books