The Interprocedural Coincidence Theorem (1992)

Cached

Download Links

by Jens Knoop , Bernhard Steffen
Venue:In Int. Conf. on Comp. Construct
Citations:85 - 11 self

Documents Related by Co-Citation

302 Two approaches to interprocedural data flow analysis – M Sharir, A Pnueli - 1981
369 Interprocedural Dataflow Analysis via Graph Reachability – Thomas Reps, Mooly Sagiv, Susan Horwitz - 1994
307 A unified approach to global program optimization – Gary A. Kildall - 1973
92 Static determination of dynamic properties of recursive procedures – P Cousot, R Cousot - 1977
152 Monotone Data Flow Analysis Frameworks – John B. Kam, Jeffrey D. Ullman - 1977
103 Weighted pushdown systems and their application to interprocedural dataflow analysis – Thomas Reps, Stefan Schwoon, Somesh Jha - 2003
77 Demand-driven Computation of Interprocedural Data Flow – Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa - 1995
42 Solving demand versions of interprocedural analysis problems – T W Reps - 1994
57 How to analyze large programs efficiently and informatively – D M Dhamdhere, B K Rosen, F K Zadeck - 1992
95 The Program Summary Graph and Flow-sensitive Interprocedural Data Flow Analysis – David Callahan - 1988
298 Magic sets and other strange ways to implement logic programs – F Bancilhon, D Maier, Y Sagiv, J Ullman - 1985
86 Interprocedural constant propagation – David Callahan, Keith D. Cooper, Ken Kennedy - 1986
122 Interprocedural side-effect analysis in linear time – K Cooper, K Kennedy - 1988
179 Global Optimizations by Suppression of Partial Redundancies – E Morel, C Renvoise - 1979
277 Flow Analysis of Computer Programs – M S Hecht - 1977
175 Global value numbers and redundant computations – B K Rosen, M N Wegman, F K Zadeck - 1988
53 An Automata-theoretic Approach to Interprocedural Data-flow Analysis – Javier Esparza, Jens Knoop - 1999
244 On the Power of Magic – Catriel Beeri, Raghu Ramakrishnan - 1987
567 Automatic Discovery of Linear Restraints Among Variables of a Program – Patrick Cousot, Nicolas Halbwachs - 1978