Aliasing in Object-Oriented Programming. Types, Analysis and Verification

D. Clarke,J. Noble,Tobias Wrigstad
DOI: https://doi.org/10.1007/978-3-642-36946-9
Abstract:
What problem does this paper attempt to address?