Existential Owners for Ownership Types

Abstract

In ownership types, the objects' nesting relations are captured in the program code by means of ownership annotations on types-every object is owned by another object in the system, and the nesting relations control how an object may be referenced from other objects. Somewhat syntactically burdensome, ownership types has a strong containment invariant that facilitates alias management and makes the job of developing lightweight specification languages easier.

Cite as:

Tobias Wrigstad, Dave Clarke, “Existential Owners for Ownership Types”, Journal of Object Technology, Volume 6, no. 4 (May 2007), pp. 141-159, doi:10.5381/jot.2007.6.4.a5.