Efficiently Computing Static Single Assignment Form and version 1 (1991)

by R Cytron, J Ferrante, B K Rosen, M N Wegman, F K Zadeck
Venue:9 Dec 2013 the Control Dependence Graph. ACM Transactions on Programming Languages and Systems (TOPLAS