2 search results - page 1 / 1 » State Based Ownership, Reentrance, and Encapsulation |
ECOOP
2005
Springer
14 years 8 days ago
2005
Springer
Abstract. A properly encapsulated data representation can be revised for refactoring or other purposes without affecting the correctness of client programs and extensions of a clas...
ECOOP
2007
Springer
13 years 10 months ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...