Eciently computing static single assignment form and the control dependence graph (1991)

by Ron Cytron, Jeanne Ferrante, Barry K Rosen, Mark N Wegman, F Kenneth Zadeck
Venue:ACM Transaction on Programming Languages and Systems