The program dependence graph and its use in optimization (1987)

by Jeanne Ferrante, Karl J. Ottenstein, Joe D. Warren
Venue:ACM Transactions on Programming Languages and Systems