Interprocedural side effect analysis with pointer aliasing (1993)

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