Interprocedural Side Effect Analysis With Pointer Aliasing.

William Landi, Barbara G. Ryder, Sean Zhang

Browse the full PLDI paper archive.