Demand-driven computation of interprocedural data flow (1995)

by E Duesterwald, R Gupta, M Soffa
Venue:In Proceedings of the 22nd ACM Symposium on Principles of Programming Languages. ACM