Initial Results for Glacial Variable Analysis

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

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

Tutorial notes on partial evaluation

Charles Consel, Olivier Danvy · 1993 · 322 citations · Full text

Computing, Computer Science, Computer Systems +6

Optimizing dynamically-dispatched calls with run-time type feedback

Urs Hölzle, David Ungar · 1994 · 267 citations · Full text

Business, Computer Science, Decision Analysis +4

A general approach for run-time specialization and its application to C

Charles Consel, François Noël · 1996 · 264 citations · Full text

Computing, Computer Science, Computer Systems +14