Christopher Anderson, Franco Barbanera, and Mariangiola
Dezani-Ciancaglini
Alias and Union types for
Delegation
Ann. Math., Comput. & Teleinformatics, 1:1-18, 2003
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) or finite unions of these. Their 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 conditional
expressions and which supports method and delegate
overriding, addition, and removing.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43