A Parameterized Type System for Simple Loose Ownership Domains

By: Jan Schaefer, Arnd Poetzsch-Heffter

Abstract

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.

Cite as:

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.

PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact