Automatic Generation Of Data-Flow Analyzers: A Tool For Building Optimizers (1993)

Cached

Download Links

by Steven Weng-kiang Tjiang , Daniel Weise , Mike Smith , Bob Wilson
Citations:8 - 0 self

Active Bibliography

By – Steven Weng-kiang Tjiang, Daniel Weise, Mike Smith, Bob Wilson - 1993
78 Combining Analyses, Combining Optimizations – Clifford Noel Click, Jr. - 1995
564 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
885 Efficiently computing static single assignment form and the control dependence graph – Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck - 1991
685 A Survey of Program Slicing Techniques – F. Tip - 1995
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
864 The program dependence graph and its use in optimization – Jeanne Ferrante, Karl J. Ottenstein, Joe D. Warren - 1987
531 The Cache Performance and Optimizations of Blocked Algorithms – Monica S. Lam, Edward E. Rothberg, Michael E. Wolf - 1991
732 Interprocedural Slicing Using Dependence Graphs – Susan Horwitz, Thomas Reps, David Binkley - 1990