Interprocedural side effect analysis with pointer aliasing (1993)

by W Landi, B G Ryder, S Zhang
Venue:Proceedings of the ACM SIGPLAN ’93 Conference on Programming Language Design and Implementation