Sciweavers

FMCO
2004
Springer

Assertion-Based Encapsulation, Object Invariants and Simulations

14 years 5 months ago
Assertion-Based Encapsulation, Object Invariants and Simulations
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial paper surveys recent progress using auxiliary state (ghost fields) to describe and achieve encapsulation. Encapsulation is assessed in terms of modular reasoning about invariants and simulations.
David A. Naumann
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where FMCO
Authors David A. Naumann
Comments (0)