A Practical Framework for DemandDriven Interprocedural Data Flow Analysis (1997)

by E Duesterwald, R Gupta, M L Soffa
Venue:ACM TOPLAS