M.L.: Demand-driven computation of interprocedural data flow. In: (1995)

by E Duesterwald, R Gupta, Soffa
Venue:Symposium on Principles of Programming Languages.