Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
Recently, static single assignment form and the control dependence graph have been proposed to represent data flow and control flow properties of programs. Each of these previously unrelated techniques lends efficiency and power to a useful class of program optimizations. Although both of these structures are attractive, the difficulty of their construction and their potential size have discouraged their use. The authors present a new algorithm that efficiently computes these data structures for arbitrary control flow graphs. They also give analytical and experimental evidence that they are usually linear in the size of the original program. This paper thus presents strong evidence that these structures can be of practical use in optimization.
Barry K. Rosen
SWAT 1972
Barry K. Rosen
POPL 1981
Barry K. Rosen
ACM SIGPLAN Notices
Jong-Deok Choi, Ron Cytron, et al.
POPL 1991