Pointer-induced aliasing: A problem classification (1990)

by William Landi, Barbara G Ryder
Venue:In Conference Record of the Eighteenth Annual ACM Symposium on Principles of rogramming Languages