Interprocedural modification side effect analysis with pointer aliasing (1993)

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