Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad
1 Department of Computer Science, Faculty of Science, Aarhus University, Aarhus University2 Department of Computer Science, Science and Technology, Aarhus University3 Department of Computer Science, Science and Technology, Aarhus University
This position paper presents a very simple mechanism, primitive associations, and argues that this mechanism is worth careful consideration in connection with the kind of support for program correctness that grows out of mechanisms for ownership, controlled aliasing, sharing, escape analysis, and so on.
Proceedings of the International Workshop on Aliasing, Confinement and Ownership in Object-oriented Programming (iwaco), in Conjunction With Ecoop 2007, 2007
Ownership, confinement, alias control, primitive associations, inverse
Main Research Area:
International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming (IWACO), in conjunction with ECOOP 2007