---

Download: PDF.

“Exceptions in Ownership Type Systems” by W. Dietl and P. Müller. In Formal Techniques for Java-like Programs (FTfJP), (E. Poll, ed.), June 2004, pp. 49-54.

Abstract

Ownership type systems are used to structure the object store into contexts and to restrict references between contexts. How to handle exceptions in these type systems has not been described in the literature. In this paper we analyze four viable designs for supporting exceptions in ownership type systems: (1)~cloning exception objects during propagation; (2)~using unique references to transfer exceptions between contexts during propagation; (3)~treating exceptions as global data; (4)~handling exceptions by read-only references that may cross context boundaries. We briefly describe our implementation of the fourth approach in the Universe type system.

Keywords: UTS

Download: PDF.

BibTeX entry:

@inproceedings{DietlMueller04,
   author = {W. Dietl and P. M{"u}ller},
   editor = {E. Poll},
   title = {{Exceptions in Ownership Type Systems}},
   series = {technical report, Nr. NIII-R0426, University of Nijmegen},
   month = jun,
}

---

---