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 removal. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1016/S1571-0661(04)80804-1 | Electronic Notes in Theoretical Computer Science |
Keywords | Field | DocType |
object based calculi,delegation,alias types,effects | Computer science,Delegate,sort,Theoretical computer science,Matter of fact,Aliasing,Singleton,Delegation,Safety property | Journal |
Volume | Issue | ISSN |
82 | 8 | 1571-0661 |
Citations | PageRank | References |
10 | 1.10 | 3 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Christopher Anderson | 1 | 11 | 1.73 |
Franco Barbanera | 2 | 357 | 35.14 |
Mariangiola Dezani-Ciancaglini | 3 | 1615 | 193.57 |
Sophia Drossopoulou | 4 | 1016 | 90.55 |