A Reference Chain Approach for Live Variables (1994)

by Michael P. Gerlek , Michael Wolfe , Eric Stoltz
Citations:5 - 0 self

Active Bibliography

Intermediate Compiler Analysis via Reference Chaining – unknown authors - 1995
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
855 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
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
401 Efficient Context-Sensitive Pointer Analysis for C Programs – Robert P. Wilson, Monica S. Lam - 1995
62 Practical Improvements to the Construction and Destruction of Static Single Assignment Form – Preston Briggs, Keith D. Cooper, Timothy J. Harvey, L. Taylor Simpson, C○ John Wiley - 1998
342 A First Step towards Automated Detection of Buffer Overrun Vulnerabilities – David Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken - 2000
101 Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-driven SSA Form – Michael P. Gerlek, Eric Stoltz, Michael Wolfe - 1995
302 An Automata-Theoretic Approach to Branching-Time Model Checking – Orna Kupferman, Moshe Y. Vardi, Pierre Wolper - 1998