Can addresses be types? A case study: objects with delegation
File(s)addresses-as-types.pdf (345.44 KB)
Accepted version
Author(s)
Anderson, C
Barbanera, F
Dezani-Ciancaglini, M
Drossopoulou, S
Type
Journal Article
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. ©2003 Published by Elsevier Science B.V.
Version
Accepted version
Date Issued
2003
Citation
Electronic Notes in Theoretical Computer Science, 2003, 82 (8), pp.108-129
ISSN
1571-0661
Publisher
Elsevier
Start Page
108
End Page
129
Journal / Book Title
Electronic Notes in Theoretical Computer Science
Volume
82
Issue
8
Copyright Statement
Copyright © 2003 Published by Elsevier B.V. NOTICE: this is the author’s version of a work that was accepted for publication in Electronic Notes in Theoretical Computer Science. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOL:82, ISSUE:8, (2003) DOI:10.1016/S1571-0661(04)80804-1
Source Volume Number
82