A Parameterized Type System for Simple Loose Ownership Domains

ome this restriction, we develop so-called loose domains which abstract over several precise domains. Similar to the relation between supertypes and subtypes, we get a relation between loose and precise domains. In addition, we simplify ownership domains by reducing the number of domains per object to two and hard-wiring the access permissions between domains. We formalize the resulting type system for an OO core language and prove type soundness and a fundamental accessibility property.

• Type: Journal
• Year: 2007
• Where: JOT
• Authors: Jan Schaefer, Arnd Poetzsch-Heffter
• Keywords: JOT 2007, Ownership Domains, Precise Domains, So-called Loose Domains