Interprocedural Side Effect Analysis With Pointer Aliasing

William Landi, Barbara G. Ryder, Sean Zhang. Interprocedural Side Effect Analysis With Pointer Aliasing. In PLDI. pages 56-67, 1993.

Abstract

Abstract is missing.