Active Bibliography

7 Assertion-based encapsulation, object invariants and simulations – David A. Naumann - 2005
4 Ownership: Transfer, Sharing, and Encapsulation – Anindya Banerjee, David A. Naumann
5 Ownership Transfer and Abstraction – Anindya Banerjee, David A. Naumann - 2003
1 State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings – Anindya Banerjee, David A. Naumann
2 Separation and Data Refinement – Ivana Mijajlović - 2007
5 A Local Reasoning for Global Invariants, Part I: Region Logic – Anindya Banerjee, et al.
76 Modular invariants for layered object structures – Peter Müller, Arnd Poetzsch-heffter, Gary T. Leavens
107 Universes: Lightweight Ownership for JML – Werner Dietl, Peter Müller - 2005
30 State based ownership, reentrance, and encapsulation – Anindya Banerjee, David A. Naumann
29 Observational Purity and Encapsulation – David A. Naumann - 2006
Representation Independence, State Based Ownership, and Reentrancy – Anindya Banerjee, David A. Naumann - 2011
50 Generic universe types – Werner Dietl, Sophia Drossopoulou, Peter Müller - 2007
Selective Ownership: Combining Object and Type Hierarchies for Flexible Sharing – Stephanie Balzer, Thomas R. Gross, Peter Müller
Software ENgineering Minimal ownership for active objects – D. G. Clarke, T. Wrigstad, J. Östlund, E. B. Johnsen
55 Regional logic for local reasoning about global invariants – Anindya Banerjee, David A. Naumann, Stan Rosenberg - 2008
and – Anindya Banerjee, David A. Naumann - 2002
66 Ownership Confinement Ensures Representation Independence for Object-Oriented Programs – Anindya Banerjee, David A. Naumann - 2002
44 Generic ownership for generic Java – Alex Potanin, James Noble, Dave Clarke, Robert Biddle - 2006
54 Specification and verification challenges for sequential object-oriented programs – Gary T. Leavens, K. Rustan M. Leino, Peter Müller