Demand-driven computation of interprocedural dataflow (1995)

by E Duesterwald, R Gupta, M Souffa
Venue:In Proceedings of POPL