We adapt the aliasing constraints approach for designing a ﬂexible 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.
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.