Homepage>Publikationen>PublikationsDetail

Universes: A Type System for Controlling Representation Exposure

In: Poetzsch-Heffter, A. and Meyer, J.ed., Programming Languages and Fundamentals of Programming. Technical Report, volume 263, Fernuniversität Hagen, Available, 1999

Authors

Peter Müller
Arnd Poetzsch-Heffter

Abstract

We present a type system that allows to express a hierarchical partitioning of the object store into so-called universes. Type checking enforces referencing constraints between objects in dierent universes. The universe type system provides support for preventing rep exposure while retaining a exible sharing model. It is easy to apply and guarantees an invariant that is strong enough for modular verification. Our type system is related to ownership types ([CPN98]), balloon types ([Alm97]), and islands ([Hog91]). However, it is capable of specifying certain implementation patterns (e.g., binary methods, several objects using a common representation) that cannot be handled by the other approaches.

Full Text

PDF: univ263.pdf
PS.GZ: univ263.ps.gz

BibTeX

@InProceedings{Mueller.Poetzsch-Heffter99universes, 
   author = {Peter Müller and Arnd Poetzsch-Heffter}
   title = {Universes: A Type System for Controlling Representation Exposure},
   booktitle = {Programming Languages and Fundamentals of Programming},
   series = {Technical Report},
   institution = {Fernuniversität Hagen},
   note = {Available},
   year = {1999},
}

Einloggen