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:129 - 13 self

Documents Related by Co-Citation

330 Ownership Types for Flexible Alias Protection – David G. Clarke, John M. Potter, James Noble - 1998
303 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
197 Alias Annotations for Program Understanding – Jonathan Aldrich, Valentin Kostadinov, Craig Chambers - 2002
106 Data Abstraction and Information Hiding – K. Rustan M. Leino, Greg Nelson - 2000
131 Object Ownership and Containment – David Clarke - 2001
48 Using data groups to specify and check side effects – K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou - 2002
145 Ownership Types for Object Encapsulation – Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira - 2003
343 Making the future safe for the past: Adding Genericity to the Java Programming Language – Gilad Bracha , Martin Odersky, David Stoutamire, Philip Wadler - 1998
193 A Parameterized Type System for Race-Free Java Programs – Chandrasekhar Boyapati, Martin Rinard - 2001
89 Representation Independence, Confinement and Access Control (Extended Abstract) – Anindya Banerjee, David A. Naumann - 2002
91 Ownership Types for Safe Region-Based Memory Management in Real-Time Java – Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Jr., Martin Rinard - 2003
360 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
49 An Object-Oriented Effects System – Aaron Greenhouse, John Boyland
194 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
170 Region-Based Memory Management in Cyclone – Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney - 2002
123 Balloon Types: Controlling Sharing of State in Data Types РPaulo S̩rgio Almeida - 1997
192 Islands: Aliasing protection in object-oriented languages – J Hogg - 1991
79 Data groups: Specifying the modification of extended state – K. Rustan M. Leino - 1998
28 Safe Runtime Downcasts With Ownership Types – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002