Sciweavers

Share
FAC
2007

On assertion-based encapsulation for object invariants and simulations

9 years 5 months ago
On assertion-based encapsulation for 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. It also compares this technique with encapsulation in the forms provided by separation logic. Encapsulation is assessed in terms of modular reasoning about invariants and simulations.
David A. Naumann
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2007
Where FAC
Authors David A. Naumann
Comments (0)
books