Invariants for Non-Hierarchical Object Structures

Electronic Notes in Theoretical Computer Science

Volumn 195, Issue C, 2008, Pages 211-229

  Middelkoop, Ronald ^a   Huizing, Cornelis ^a   Kuiper, Ruurd ^a   Luit, Erik J ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Formal specification; Invariants; Object oriented programs; Program verification

Indexed keywords

DATA REDUCTION; FORMAL METHODS; SPECIFICATIONS;

FORMAL SPECIFICATIONS; PROGRAM VERIFICATION;

OBJECT ORIENTED PROGRAMMING;

EID: 38549143057     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.08.034     Document Type: Article

References (16)

1. Barnett M., DeLine R., Fähndrich M., Rustan K., Leino M., and Schulte W. Verification of object-oriented programs with invariants. Special issue: ECOOP 2003 workshop on Formal Techniques for Java-like Programs. Journal of Object Technology 3 6 (June 2004) 27-56
2. Barnett M., and Naumann D. Friends need a bit more: Maintaining invariants over shared state. Seventh International Conference on Mathematics of Program Construction. (MPC). Lecture Notes in Computer Science volume 3125 (2004), Springer-Verlag 54-84
3. Gamma E., Helm R., Johnson R., and Vlissides J. Design Patterns: Elements of Reusable Object-Oriented Software (1995), Addison-Wesley
4. Hoare C.A.R. Proof of correctness of data representations. Acta Inf. 1 (1972) 271-281
5. K. Rustan M. Leino. Toward Reliable Modular Programs. PhD thesis, California Institute of Technology, 1995
6. K. Rustan M. Leino and Peter Müller. Object invariants in dynamic contexts. In ECOOP, pages 491-516, 2004
7. Liskov B.H., and Wing J.M. A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems 16 6 (November 1994) 1811-1841
8. Meyer B. Object-Oriented Software Construction. Second Edition (1997), Prentice-Hall, Englewood Cliffs, New Jersey
9. Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, and Erik Luit. Cooperation-based invariants for oo languages. In International Workshop on Formal Aspects of Component Software (FACS'05), 2005
10. Müller P. Modular Specification and Verification of Object Oriented Programs. Lecture Notes in Computer Science volume 2262 (2002), Springer-Verlag
11. Müller P., Poetzsch-Heffter A., and Leavens G.T. Modular invariants for layered object structures. Science of Computer Programming 62 3 (2006) 253-286
12. Parkinson M., and Bierman G. Separation logic and abstraction. Proceedings of 32nd POPL. ACM SIGPLAN Notices 40 (January 2005) 247-258
13. Parnas D.L. On the criteria to be used in decomposing systems into modules. Communications of the ACM 15 12 (1972) 1053-1058
14. Pierik C., Clarke D., and de Boer F.S. Controlling object allocation using creation guards. In: Fitzgerald J., Hayes I.J., and Tarlecki A. (Eds). FM. Lecture Notes in Computer Science volume 3582 (2005), Springer 59-74
15. Alex Potanin, James Noble, Dave Clarke, and Robert Biddle. Featherweight generic ownership. In Formal Techniques for Java-like Programs (FTfJP), 2005
16. John C. Reynolds. Separation logic: A logic for shared mutable data structures. In Third Annual Symposium on Logic in Computer Science (LICS), 2002