A Logic of Object-Oriented Programs

  title={A Logic of Object-Oriented Programs},
  author={Mart{\'i}n Abadi and K. Rustan M. Leino},
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 specifications go further than types in detailing preand postconditions. We intend the logic as an analogue of… CONTINUE READING



Citations per Year

208 Citations

Semantic Scholar estimates that this publication has 208 citations based on the available data.

See our FAQ for additional information.