Efficiently Computing Static Single Assignment Form and the Control Dependence Graph (1991)

by R Cytron, J Ferrante, B K Rosen, M N Wegman, F K Zadeck
Venue:In TOPLAS