International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming - Guerrini,Giovanna (Association for Computing Machinery)