Conference paper
Code motion of control structures in high-level languages
Ron Cytron, Andy Lowry, et al.
POPL 1986
Paper
Efficiently Computing Static Single Assignment form and the Control Dependence Graph
Related
Barry K. Rosen
Acta Informatica
Conference paper
High level language debugging with a compiler preliminary draft
Jeanne Ferrante
Software Engineering Symposium on High-Level Debugging 1983
Hartmut Ehrig, Hans-Jörg Kreowski, et al.
Mathematical Systems Theory