Formalization of Generic Universe Types

Formalization of Generic Universe Types (2006)

by Werner Dietl , Sophia Drossopoulou , Peter Müller

Citations:

4 - 4 self

Datum	Value	Source
TITLE	Formalization of Generic Universe Types	SVM HeaderParse 0.2
AUTHOR NAME	Werner Dietl	SVM HeaderParse 0.2
AUTHOR NAME	Sophia Drossopoulou	SVM HeaderParse 0.2
AUTHOR NAME	Peter Müller	SVM HeaderParse 0.2
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	SVM HeaderParse 0.2
YEAR	2006	INFERENCE
VENUE TYPE	TECHREPORT	INFERENCE
TECH	Technical Report 532	INFERENCE
CITATIONS	11 found	ParsCit 1.0