3 search results - page 1 / 1 » Specification and Verification of Invariants by Exploiting L... |
81
Voted
FUIN
2008
15 years 9 days ago
2008
Abstract. The layering that is present in many OO designs is not accounted for in current interpretations of invariants. We propose to make layers explicit in specifications and in...
220
click to vote
POPL
2008
ACM
16 years 17 days ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
63
Voted
ENTCS
2008
15 years 9 days ago
2008
We present a Hoare-style specification and verification approach for invariants in sequential OO programs. It allows invariants over nonhierarchical object structures, in which upd...