Simple Ownership Types for Object Containment (2001)

Cached

Download Links

by David G. Clarke , James Noble , John M. Potter
Citations:90 - 2 self

Documents Related by Co-Citation

195 Islands: aliasing protection in object-oriented languages. 6th OOPSLA – J Hogg - 1991
90 Representation Independence, Confinement and Access Control (Extended Abstract) – Anindya Banerjee, David A. Naumann - 2002
108 Data Abstraction and Information Hiding – K. Rustan M. Leino, Greg Nelson - 2000
362 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
332 Ownership Types for Flexible Alias Protection – David G. Clarke, John M. Potter, James Noble - 1998
77 Towards Alias-Free Pointers – Naftaly Minsky - 1996
200 Alias Annotations for Program Understanding – Jonathan Aldrich, Valentin Kostadinov, Craig Chambers - 2002
305 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
117 The Geneva Convention -- On The Treatment of Object Aliasing – John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux, Richard Holt - 1992
100 Encapsulating Objects with Confined Types – Christian Grothoff, Jens Palsberg, Jan Vitek - 2001
61 Universes: A type system for controlling representation exposure – P Müller, A Poetzsch-Heffter - 1999
238 Polymorphic effect systems – John M. Lucassen, David K. Gifford - 1988
125 Balloon Types: Controlling Sharing of State in Data Types – Paulo Sérgio Almeida - 1997
134 Object Ownership and Containment – David Clarke - 2001
548 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
147 Ownership Types for Object Encapsulation – Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira - 2003
131 Ownership, Encapsulation and the Disjointness of Type and Effect – Dave Clarke, Sophia Drossopoulou - 2002
105 Confined Types – Boris Bokowski, Jan Vitek - 1999
50 Using data groups to specify and check side effects – K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou - 2002