Constant propagation

The program dependence graph and its use in optimization

Jeanne Ferrante, Karl J. Ottenstein, Joe Warren · ACM Transactions on Programming Languages and Systems · 1987 · 2.7K citations · Full text

Computing, Computer Engineering, Computer Science +16

Efficiently computing static single assignment form and the control dependence graph

Ron K. Cytron, Jeanne Ferrante, Barry K. Rosen et al. · ACM Transactions on Programming Languages and Systems · 1991 · 2.2K citations · Full text

Computing, Computer Science, Computer Systems +12

A unified approach to global program optimization

Gary A. Kildall · 1973 · 901 citations

Computing, Computer Science, Algorithms +16

Constant propagation with conditional branches

Mark N. Wegman, F. Kenneth Zadeck · ACM Transactions on Programming Languages and Systems · 1991 · 602 citations · Full text

Computing, Computer Science, Compilers +6

The program dependence web: a representation supporting control-, data-, and demand-driven interpretation of imperative languages

Karl J. Ottenstein, Robert A. Ballance, Arthur B. Maccabe · 1990 · 225 citations · Full text

Computing, Computer Science, Computer Architecture +15