Demand-driven computation of interprocedural data flow (1995)

by E Duesterwald, R Gupta, M L Soffa
Venue:In POPL