Simple Ownership Types for Object Containment (2001)

Cached

Download Links

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

Active Bibliography

Simple Ownership Types for Object Containment – Davidg. Clarke James, Noble John, M. Potter - 2000
131 Ownership, Encapsulation and the Disjointness of Type and Effect – Dave Clarke, Sophia Drossopoulou - 2002
8 An Object Calculus with Ownership and Containment (Extended Abstract) – Davis Clarke - 2001
332 Ownership Types for Flexible Alias Protection – David G. Clarke, John M. Potter, James Noble - 1998
58 SafeJava: A Unified Type System for Safe Programming – Chandrasekhar Boyapati - 2004
88 External uniqueness is unique enough – Dave Clarke, Tobias Wrigstad - 2003
2 Overcoming Representation Exposure – David Clarke, James Noble, John Potter - 1999
36 The Ins and Outs of Objects – John Potter, James Noble, David Clarke - 1998
2 A Mode System for Flexible Alias Protection – John Potter, David Clarke, James Noble - 1998
211 Flexible Alias Protection – James Noble , Jan Vitek, John Potter - 1998
23 External Uniqueness – Dave Clarke, Tobias Wrigstad - 2003
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
31 Saving the World from Bad Beans: Deployment-Time Confinement Checking – Dave Clarke, Michael Richmond, James Noble - 2003
2 Who's Afraid of Ownership Types? – David G. Clarke, James Noble, John M. Potter - 1999
2 Simple Loose Ownership Domains – Jan Schäfer, Arnd Poetzsch-heffter - 2006
2 A Parameterized Type System for Simple Loose Ownership Domains – Jan Schäfer , Arnd Poetzsch-Heffter - 2002
2 Dynamic Alias Protection in Prototype-Based Languages – James Noble, David Clarke, John Potter - 1998
17 Object Ownership for Dynamic Alias Protection – James Noble, David Clarke, John Potter - 1999