Computing Publications

Publications Home » Ownership, Encapsulation and the ...

Ownership, Encapsulation and the Disjointness of Types and Effects

David Clarke, Sophia Drossopoulou

Conference or Workshop Paper
17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA'02)
November, 2002
pp.292–310
ACM Press
Abstract

Ownership types provide a statically enforceable notion of object-level encapsulation. We extend ownership types with computational effects to support reasoning about object-oriented programs. The ensuing system provides both access control and effects reporting. Based on this types system, we codify two formal systems for reasoning ebout aliasing and the disjointness of computational effects. The first can be used to prove that evaluation of two expressions will never lead to aliases, while the latter can be used to show the non-interference of two expressions.

Keywords
SLURP
Language Design
Ownership Types
Postscript of full publication (567 kilobytes)
(need help viewing Postscript 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.