Paper Info
Title
On assertion-based encapsulation for object invariants and simulations
Abstract
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.
Year
DOI
Venue
2007
10.1007/s00165-006-0020-5
Formal Asp. Comput.
Keywords
Field
DocType
separation and alias control.,encapsulation and abstraction,object invariants,ghost field,object-oriented programming,adequate encapsulation,modular reasoning,assertion-based encapsulation,auxiliary state,recent progress,tutorial paper survey,separation logic,reentrant method invocation,sound modular reasoning,object oriented programming
Separation logic,Faddeev–Popov ghost,Programming language,Object-oriented programming,Computer science,Assertion,Theoretical computer science,Modular reasoning,Invariant (mathematics),Encapsulation (computer programming),Reentrancy
Journal
Volume
Issue
ISSN
19
2
1433-299X
Citations 
PageRank 
References 
3
0.50
42
Authors
1
Name
Order
Citations
PageRank
David Naumann1110184.12