Object Ownership and Containment (2001)

Cached

Download Links

by David Clarke
Citations:112 - 17 self

Documents Related by Co-Citation

261 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
278 Ownership Types for Flexible Alias Protection – David G. Clarke, John M. Potter, James Noble - 1998
182 Islands: Aliasing protection in object-oriented languages – John Hogg - 1991
179 Alias Annotations for Program Understanding – Jonathan Aldrich, Valentin Kostadinov, Craig Chambers - 2002
192 Flexible Alias Protection – James Noble , Jan Vitek, John Potter - 1998
108 Ownership, Encapsulation and the Disjointness of Type and Effect – Dave Clarke, Sophia Drossopoulou - 2002
125 Ownership Types for Object Encapsulation – Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira - 2003
85 Representation Independence, Confinement and Access Control (Extended Abstract) – Anindya Banerjee, David A. Naumann - 2002
96 Confined Types – Boris Bokowski, Jan Vitek - 1999
84 Ownership Types for Safe Region-Based Memory Management in Real-Time Java – Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Jr., Martin Rinard - 2003
466 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
102 Data Abstraction and Information Hiding – K. Rustan M. Leino, Greg Nelson - 2000
170 A Parameterized Type System for Race-Free Java Programs – Chandrasekhar Boyapati, Martin Rinard - 2001
107 The Geneva Convention -- On The Treatment of Object Aliasing – John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux, Richard Holt - 1992
116 Balloon Types: Controlling Sharing of State in Data Types – Paulo Sérgio Almeida - 1997
65 Wrestling With Rep Exposure – David L. Detlefs, K. Rustan M. Leino, Greg Nelson - 1998
115 Object Invariants in Dynamic Contexts – K. Rustan M. Leino, Peter Müller
51 Universes: A Type System for Controlling Representation Exposure – P Müller, A Poetzsch-Heffter - 1999
75 Towards Alias-Free Pointers – Naftaly Minsky - 1996