Object Ownership and Containment (2001)

Cached

Download Links

by David Clarke
Citations:142 - 24 self

Documents Related by Co-Citation

363 Ownership Types for Flexible Alias Protection – David G. Clarke, John M. Potter, James Noble - 1998
356 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
204 Islands: aliasing protection in object-oriented languages – J Hogg - 1991
205 Alias Annotations for Program Understanding – Jonathan Aldrich, Valentin Kostadinov, Craig Chambers - 2002
227 Flexible Alias Protection – James Noble , Jan Vitek, John Potter - 1998
137 Ownership, Encapsulation and the Disjointness of Type and Effect – Dave Clarke, Sophia Drossopoulou - 2002
647 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
127 Balloon Types: Controlling Sharing of State in Data Types РPaulo S̩rgio Almeida - 1997
112 Confined Types – Boris Bokowski, Jan Vitek - 1999