Pointer-induced aliasing: a problem classification (1991)

by W LANDI, B G RYDER
Venue:In Conference Record of the Eighteenth Annual ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages