Object Ownership and Containment (2001)

Cached

Download Links

by David Clarke
Citations:134 - 24 self

Documents Related by Co-Citation

305 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
332 Ownership Types for Flexible Alias Protection – David G. Clarke, John M. Potter, James Noble - 1998
195 Islands: aliasing protection in object-oriented languages. 6th OOPSLA – J Hogg - 1991
200 Alias Annotations for Program Understanding – Jonathan Aldrich, Valentin Kostadinov, Craig Chambers - 2002
211 Flexible Alias Protection – James Noble , Jan Vitek, John Potter - 1998
90 Representation Independence, Confinement and Access Control (Extended Abstract) – Anindya Banerjee, David A. Naumann - 2002
131 Ownership, Encapsulation and the Disjointness of Type and Effect – Dave Clarke, Sophia Drossopoulou - 2002
105 Confined Types – Boris Bokowski, Jan Vitek - 1999
117 The Geneva Convention -- On The Treatment of Object Aliasing – John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux, Richard Holt - 1992
125 Balloon Types: Controlling Sharing of State in Data Types – Paulo Sérgio Almeida - 1997
548 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
92 Ownership Types for Safe Region-Based Memory Management in Real-Time Java – Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Jr., Martin Rinard - 2003
108 Data Abstraction and Information Hiding – K. Rustan M. Leino, Greg Nelson - 2000
147 Ownership Types for Object Encapsulation – Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira - 2003
61 Universes: A type system for controlling representation exposure – P Müller, A Poetzsch-Heffter - 1999
196 A Parameterized Type System for Race-Free Java Programs – Chandrasekhar Boyapati, Martin Rinard - 2001
68 Wrestling With Rep Exposure – David L. Detlefs, K. Rustan M. Leino, Greg Nelson - 1998
100 Encapsulating Objects with Confined Types – Christian Grothoff, Jens Palsberg, Jan Vitek - 2001
125 Object Invariants in Dynamic Contexts – K. Rustan M. Leino, Peter Müller