International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming
ACM Digital Library