The search result changed since you submitted your search request. Documents might be displayed in a different sort order.
  • search hit 65 of 483
Back to Result List

Simple Loose Ownership Domains

  • Ownership Domains generalize ownership types. They support programming patterns like iterators that are not possible with ordinary ownership types. However, they are still too restrictive for cases in which an object X wants to access the public domains of an arbitrary number of other objects, which often happens in observer scenarios. To overcome this restriction, we developed so-called loose domains which abstract over several precise domains. That is, similar to the relation between supertypes and subtypes we have a relation between loose and precise domains. In addition, we simplified ownership domains by reducing the number of domains per object to two and hard-wiring the access permissions between domains. We formalized the resulting type system for an OO core language and proved type soundness and a fundamental accessibility property.

Download full text files

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author:Jan Schäfer, Arnd Poetzsch-Heffter
URN:urn:nbn:de:hbz:386-kluedo-14198
Series (Serial Number):Interner Bericht des Fachbereich Informatik (348)
Document Type:Report
Language of publication:English
Year of Completion:2006
Year of first Publication:2006
Publishing Institution:Technische Universität Kaiserslautern
Date of the Publication (Server):2006/04/01
Tag:aliasing; domains; encapsulation; object-orientation; ownership; types
Faculties / Organisational entities:Kaiserslautern - Fachbereich Informatik
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Licence (German):Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011