Demand-driven computation of interprocedural data flow (1995)

by E Duesterwald, R Gupta, M L Soffa
Venue:In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages