Undecidability of Static Analysis (1992)

Cached

Download Links

by William Landi
Venue:ACM Letters on Programming Languages and Systems
Citations:141 - 5 self

Active Bibliography

56 Interprocedural Aliasing In The Presence Of Pointers – William Alexander Landi - 1992
1 A/D Graphs - A Data Structure For Data Dependence Analysis In Programs With Pointers – W. Amme, E. Zehendner
526 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
2 Interprocedural Reaching Definitions in the Presence of Single Level Pointers – Hemant D. Pande, William Landi, Barbara G. Ryder - 1992
4 Integrating Scalar Analyses and Optimizations in a Parallelizing . . . – Bixia Zheng - 2000
132 A Schema for Interprocedural Modification Side-Effect Analysis With Pointer Aliasing – Barbara G. Ryder, William A. Landi, Philip A. Stocks, Sean Zhang, Rita Altucher - 2001
92 Putting Pointer Analysis to Work – Rakesh Ghiya, Laurie J. Hendren - 1998
293 Solving Shape-Analysis Problems in Languages with Destructive Updating – Mooly Sagiv, Thomas Repst, Reinhard Wilhelm - 1996
1 A Logic-Based Approach to Program Flow Analysis – Mooly Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm - 1998
8 Automatic Generation Of Data-Flow Analyzers: A Tool For Building Optimizers – Steven Weng-kiang Tjiang, Daniel Weise, Mike Smith, Bob Wilson - 1993
50 Program Decomposition for Pointer Aliasing: A Step toward Practical Analyses – Sean Zhang, Barbara G. Ryder, William Landi - 1996
Interprocedural Pointer Alias Analysis – Paul R. Carini, Michael Burke, Michael Burke, Paul Carini, Jong-deok Choi, Jong-deok Choi, Michael Hind, Michael Hind - 1997
327 A Safe Approximate Algorithm for Interprocedural Pointer Aliasing – William Landi, Barbara G. Ryder - 1992
839 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
Constructing Call Multigraphs Using Dependence Graphs – Arun Lakhotia The - 1993
9 A Generic Architecture for Data Flow Analysis to Support Reverse Engineering – Leon Moonen - 1997
7 Modular Data-Flow Analysis Of Statically Typed Object-Oriented Programming Languages – Ramkrishna Chatterjee, Ramkrishna Chatterjee, Ramkrishna Chatterjee, Dissertation Director, Barbara Gershon Ryder, Barbara Gershon Ryder - 2000
85 The Interprocedural Coincidence Theorem – Jens Knoop, Bernhard Steffen - 1992
2 Flow Grammars - a Flow Analysis Methodology – James S. Uhl, R. Nigel Horspool - 1994