Computing Publications

Publications Home » Can Addresses be Types? (a case s...

Can Addresses be Types? (a case study: objects with delegation)

Christopher Anderson, Franco Barbanera, Dezani Dezani-Ciancaglini, Sophia Drossopoulou

Electronic Journal Article
WOOD 2003
2003
Electronic Notes in Theoretical Computer Science
Volume 82
Issue 8
Elsevier Science Bv
ISSN 1571-0661
Abstract

We adapt the aliasing constraints approach for designing a flexible typing of evolving

objects. Types are singleton types (addresses of objects, as a matter of fact) whose relevance

is mainly due to the sort of safety property they guarantee. In particular we provide a type

system for an imperative object based calculus with delegation and which supports method

and delegate overriding, addition, and removing.

PDF of full publication (345 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.