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

Active Bibliography

147 Ownership Types for Object Encapsulation – Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira - 2003
58 SafeJava: A Unified Type System for Safe Programming – Chandrasekhar Boyapati - 2004
305 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
2 A Parameterized Type System for Simple Loose Ownership Domains – Jan Schäfer , Arnd Poetzsch-Heffter - 2002
2 Simple Loose Ownership Domains – Jan Schäfer, Arnd Poetzsch-heffter - 2006
100 Encapsulating Objects with Confined Types – Christian Grothoff, Jens Palsberg, Jan Vitek - 2001
Software ENgineering Minimal ownership for active objects – D. G. Clarke, T. Wrigstad, J. Östlund, E. B. Johnsen
11 Minimal Ownership for Active Objects – Dave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen - 2008
External Uniqueness – Tobias Wrigstad A, Dave Clarke B
88 External uniqueness is unique enough – Dave Clarke, Tobias Wrigstad - 2003
44 Generic ownership for generic Java – Alex Potanin, James Noble, Dave Clarke, Robert Biddle - 2006
Ownership Types for Safe Region-Based . . . – Chandrasekhar Boyapati, Alexandru Sălcianu, William Beebee, Jr., Martin Rinard - 2003
200 Alias Annotations for Program Understanding – Jonathan Aldrich, Valentin Kostadinov, Craig Chambers - 2002
37 Multiple Ownership – Sophia Drossopoulou, James Noble, Matthew J Smith - 2007
31 Saving the World from Bad Beans: Deployment-Time Confinement Checking – Dave Clarke, Michael Richmond, James Noble - 2003
13 Ownership Types and Safe Lazy Upgrades in Object-Oriented Databases – Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira - 2003
76 Modular invariants for layered object structures – Peter Müller, Arnd Poetzsch-heffter, Gary T. Leavens
23 External Uniqueness – Dave Clarke, Tobias Wrigstad - 2003
Preserving Clean Semantics for Calls with Repeated Arguments and the . . . – Gregory W. Kulczycki, Murali Sitaraman, William F. Ogden, Gary T. Leavens - 2003