A safe approximate algorithm for interprocedural pointer aliasing (with retrospective)

William Landi, Barbara G. Ryder

Browse the full PLDI paper archive.