2 search results - page 1 / 1 » On assertion-based encapsulation for object invariants and s... |
79
Voted
FMCO
2004
Springer
15 years 2 months ago
2004
Springer
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...
82
Voted
FAC
2007
14 years 9 months ago
2007
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...