D. Clarke. Object Ownership and Containment. PhD thesis, University of New South Wales, 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Ownership: Transfer, Sharing, and Encapsulation - Banerjee, Naumann (Correct)
....is not accessible from anywhere else. Boyapati et al. 5] use a form of ownership as basis for a locking discipline: if a thread holds a lock on a certain object, it need not lock objects owned by that object. Strong forms of ownership have been proposed for various kinds of modular reasoning [14, 15, 10, 7, 23, 20, 1]. A typical ownership invariant is that an owned object is not accessible except via the object that owns it. Ownership is ubiquitous, as it is a natural embodiment of aggregation and the encapsulation of representations. Achieving such encapsulation is a key design objective, as it supports local ....
David Clarke. Object Ownership and Containment. PhD thesis, University of New South Wales, Australia, 2001.
Exceptions in Ownership Type Systems - Dietl, Müller (2004) (Correct)
No context found.
D. Clarke. Object Ownership and Containment. PhD thesis, University of New South Wales, 2001.
Lazy Modular Upgrades in Persistent Object Stores - Boyapati, Liskov, Shrira.. (2003) (3 citations) (Correct)
No context found.
D. G. Clarke. Object ownership and containment. PhD thesis, University of New South Wales, Australia, July 2001.
Ownership Transfer and Abstraction - Banerjee, Naumann (2003) (Correct)
No context found.
David Clarke. Object Ownership and Containment. PhD thesis, University of New South Wales, Australia, 2001.
Object Invariants in Dynamic Contexts - Leino, Müller (2004) (3 citations) (Correct)
No context found.
Dave Clarke. Object Ownership and Containment. PhD thesis, University of New South Wales, 2001.
Lazy Modular Upgrades in Persistent Object Stores - Boyapati, Liskov, Shrira.. (2003) (3 citations) (Correct)
No context found.
D. G. Clarke. Object ownership and containment. PhD thesis, University of New South Wales, Australia, July 2001.
Connecting Effects and Uniqueness with Adoption - Boyland (Correct)
No context found.
Clarke, D.: Object Ownership and Containment. PhD thesis, University of New South Wales, Sydney, Australia (2001)
Safe Runtime Downcasts with Ownership Types - Boyapati, Lee, Rinard (2002) (2 citations) (Correct)
No context found.
D. G. Clarke. Object ownership and containment. PhD thesis, University of New South Wales, Australia, July 2001.
Ownership Types for Object Encapsulation - Boyapati, Liskov, Shrira (2003) (13 citations) (Correct)
No context found.
D. G. Clarke. Object ownership and containment. PhD thesis, University of New South Wales, Australia, July 2001.
Lazy Modular Upgrades in Persistent Object Stores - Boyapati, Liskov, Shrira.. (2003) (3 citations) (Correct)
No context found.
D. G. Clarke. Object ownership and containment. PhD thesis, University of New South Wales, Australia, July 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC