Documents Related by Co-Citation

548 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
18 Forward simulation for data refinement of classes – Ana Cavalcanti, David A. Naumann - 2002
68 Wrestling With Rep Exposure – David L. Detlefs, K. Rustan M. Leino, Greg Nelson - 1998
418 Proof of correctness of data representations – C A R Hoare - 1972
131 Ownership, Encapsulation and the Disjointness of Type and Effect – Dave Clarke, Sophia Drossopoulou - 2002
66 Ownership Confinement Ensures Representation Independence for Object-Oriented Programs – Anindya Banerjee, David A. Naumann - 2002
154 Data Refinement: Model-Oriented Proof Methods and their Comparison. Number 47 – W-P de Roever, K Engelhardt - 1998
30 Representation independence and data abstraction – John C Mitchell - 1986
5242 Design Patterns: Elements of Reusable Object-Oriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1994
30 State based ownership, reentrance, and encapsulation – Anindya Banerjee, David A. Naumann
82 Inside Java 2 Platform Security – L Gong - 1999
31 Possible world semantics for general storage in call-by-value – P B Levy - 2002
119 Design and Implementation of Generics for the .NET Common Language Runtime – Andrew Kennedy, Don Syme
90 Representation Independence, Confinement and Access Control (Extended Abstract) – Anindya Banerjee, David A. Naumann - 2002
40 Capabilities for sharing: A generalisation of uniqueness and read-only – J Boyland, J Noble, W Retert - 2001
20 Verifying a secure information flow analyzer – David A. Naumann - 2005
165 Separation and Information Hiding – Peter W. O'Hearn, Hongseok Yang, John C. Reynolds - 2004
47 Java Program Verification at Nijmegen: Developments and Perspective – Bart Jacobs, Erik Poll - 2003
77 Friends need a bit more: Maintaining invariants over shared state – Mike Barnett, David A. Naumann - 2004