Interprocedural modi cation side e ect analysis with pointer aliasing (1993)

by W Landi, B G Ryder, S Zhang
Venue:In SIGPLAN '93 Conference onProgramming Language Design and Implementation