Can Addresses be Types? (a case study: objects with delegation
| Author(s) : | Mariangiola Dezani-ciancaglini Franco Barbanera Christopher Anderson Sophia Drossopoulou, |
| Publisher : | N/A |
| Publication Date : | 2003 |
| ISSN : | N/A |
| 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. Key words: object based calculi, delegation, alias types, effects, |