Jong-Deok Choi, Jeanne Ferrante
ACM Transactions on Programming Languages and Systems (TOPLAS)
Paper
Efficiently Computing Static Single Assignment form and the Control Dependence Graph
Related
Conference paper
Code motion of control structures in high-level languages
Ron Cytron, Andy Lowry, et al.
POPL 1986
Hartmut Ehrig, Hans-Jörg Kreowski, et al.
Mathematical Systems Theory
Conference paper
Qualified data flow problems
L. Howard Holley, Barry K. Rosen
POPL 1980