Pointer-Induced Aliasing: A Problem Classification.

William Landi, Barbara G. Ryder

Browse the full POPL paper archive.