Simple Ownership Types for Object Containment

Simple Ownership Types for Object Containment (2001)

Cached

Download Links

[www.cs.uu.nl]

Other Repositories/Bibliography

DBLP

by David G. Clarke , James Noble , John M. Potter

Citations:

83 - 1 self

Versions

Version History

Metadata Version 2

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Simple Ownership Types for Object Containment	user correction - Legacy Corrections
AUTHOR NAME	David G. Clarke	SVM HeaderParse 0.1
AUTHOR AFFIL	1	SVM HeaderParse 0.2
AUTHOR NAME	James Noble	SVM HeaderParse 0.1
AUTHOR NAME	John M. Potter	SVM HeaderParse 0.1
AUTHOR AFFIL	; 3; 1; Institute of Information and Computing Sciences, Utrecht University; 2; School of Mathematical and Computing Sciences, Victoria University; 3; School of Computer Science and Engineering, University of New South Wales	SVM HeaderParse 0.2
AUTHOR ADDR	; Utrecht, The Netherlands; Wellington, New Zealand; Sydney, Australia	SVM HeaderParse 0.1
ABSTRACT	Containment of objects is a natural concept that has been poorly supported in object-oriented programming languages. For a predefined set of ownership contexts, this paper presents a type system that enforces certain containment relationships for run-time objects. A fixed ordering relationship is presumed between the owners. The formalisation of ownership types has developed from our work with flexible alias protection together with an investigation of structural properties of object graphs based on dominator trees. Our general ownership type system permits fresh ownership contexts to be created at run-time. Here we present a simplified system in which the ownership contexts are predefined. This is powerful enough to express and enforce constraints about a system's high-level structure. Our formal system is presented in an imperative variant of the object calculus. We present type preservation and soundness results. Furthermore we highlight how these type theoretic results establish a containment invariant for objects, in which access to contained objects is only permitted via their owners. In effect, the predefined ownership ordering restricts the permissible inter-object reference structure.	user correction - Legacy Corrections
YEAR	2001	user correction - Legacy Corrections
CITATIONS	38 found	ParsCit 1.0