Documents Related by Co-Citation

349 Ownership Types for Flexible Alias Protection – David G. Clarke, John M. Potter, James Noble - 1998
328 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
136 Object Ownership and Containment – David Clarke - 2001
201 Alias Annotations for Program Understanding – Jonathan Aldrich, Valentin Kostadinov, Craig Chambers - 2002
216 Flexible Alias Protection – James Noble , Jan Vitek, John Potter - 1998
127 Ownership Domains: Separating Aliasing Policy from Mechanism – Jonathan Aldrich, Craig Chambers - 2004
151 Modular Specification and Verification of Object-Oriented Programs – P Mùˆller - 2001
153 Ownership Types for Object Encapsulation – Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira - 2003
134 Ownership, Encapsulation and the Disjointness of Type and Effect – Dave Clarke, Sophia Drossopoulou - 2002