A Parameterized Type System for Simple Loose Ownership Domains
By: Jan Schaefer, Arnd Poetzsch-Heffter
This paper develops so-called loose domains which abstract over several precise domains in order to overcome the limitations of expressiveness of ownership domains. Furthermore, ownership domains are simplified by reducing the number of domains per object to two and hard-wiring the access permissions between domains. The resulting type system is formalized for anOO core language and proofs of type soundness and of a fundamental accessibility property are provided.
Jan Schaefer, Arnd Poetzsch-Heffter, “A Parameterized Type System for Simple Loose Ownership Domains”, Journal of Object Technology, Volume 6, no. 5 (June 2007), pp. 71-100, doi:10.5381/jot.2007.6.5.a3.