Active Bibliography

6 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
1 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
106 Universes: Lightweight Ownership for JML – Werner Dietl, Peter Müller - 2005
29 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
54 Regional logic for local reasoning about global invariants – Anindya Banerjee, David A. Naumann, Stan Rosenberg - 2008
and – Anindya Banerjee, David A. Naumann - 2002
64 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
52 Specification and verification challenges for sequential object-oriented programs – Gary T. Leavens, K. Rustan M. Leino, Peter Müller
1 Theory for Software Verification – David A. Naumann - 2009