Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In: (1993)

by J D Choi, M Burke, P Carini
Venue:Proceedings of the 20th ACM SIGPLANSIGACT symposium on Principles of