C. Anderson, F. Barbanera, M. Dezani-Ciancaglini, and
S. Drossopoulou
Can addresses be types? (a case study: objects
with delegation)
In WOOD '03, volume 82 of ENTCS Elsevier, 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) 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.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43