Interprocedural side effect analysis with pointer aliasing (1992)

by W LANDI, B G RYDER
Venue:In Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation