International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming - Association for Computing Machinery-Digital Library; ACM Special Interest Group on Programming Languages; ACM Special Interest Group on Software Engineering (ACM, 2009)