Ownership, Encapsulation and the Disjointness of Type and Effect (2002)

Cached

Download Links

by Dave Clarke , Sophia Drossopoulou
Venue:In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA
Citations:131 - 14 self

Documents Related by Co-Citation

332 Ownership Types for Flexible Alias Protection – David G. Clarke, John M. Potter, James Noble - 1998
305 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
200 Alias Annotations for Program Understanding – Jonathan Aldrich, Valentin Kostadinov, Craig Chambers - 2002
134 Object Ownership and Containment – David Clarke - 2001
108 Data Abstraction and Information Hiding – K. Rustan M. Leino, Greg Nelson - 2000
196 A Parameterized Type System for Race-Free Java Programs – Chandrasekhar Boyapati, Martin Rinard - 2001
50 Using data groups to specify and check side effects – K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou - 2002
90 Representation Independence, Confinement and Access Control (Extended Abstract) – Anindya Banerjee, David A. Naumann - 2002
147 Ownership Types for Object Encapsulation – Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira - 2003
344 Making the future safe for the past: Adding Genericity to the Java Programming Language – Gilad Bracha , Martin Odersky, David Stoutamire, Philip Wadler - 1998
92 Ownership Types for Safe Region-Based Memory Management in Real-Time Java – Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Jr., Martin Rinard - 2003
125 Balloon Types: Controlling Sharing of State in Data Types – Paulo Sérgio Almeida - 1997
195 Islands: aliasing protection in object-oriented languages. 6th OOPSLA – J Hogg - 1991
211 Flexible Alias Protection – James Noble , Jan Vitek, John Potter - 1998
362 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
48 An Object-Oriented Effects System – Aaron Greenhouse, John Boyland
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
61 Universes: A type system for controlling representation exposure – P Müller, A Poetzsch-Heffter - 1999
172 Region-Based Memory Management in Cyclone – Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney - 2002