Computing Publications

Publications Home » Generic Universe Types

Generic Universe Types

Werner Dietl, Sophia Drossopoulou, Peter

Conference or Workshop Paper
Berlin
August, 2007
Lecture Notes in Computer Science
Volume 4609
pp.28–53
Springer
ISBN 978-3-540-73588-5
DOI 10.1007/978-3-540-73589-2_3
Abstract

Ownership is a powerful concept to structure the object store

and to control aliasing and modifications of objects. This paper presents

an ownership type system for a Java-like programming language with

generic types. Like our earlier Universe type system, Generic Universe

Types enforce the owner-as-modifier discipline. This discipline does not

restrict aliasing, but requires modifications of an object to be initiated

by its owner. This allows owner objects to control state changes of owned

objects, for instance, to maintain invariants. Generic Universe Types require

a small annotation overhead and provide strong static guarantees.

They are the first type system that combines the owner-as-modifier discipline

with type genericity.

PDF of full publication (261 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.