The Interprocedural Coincidence Theorem (1992)

Cached

Download Links

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

Documents Related by Co-Citation

305 Two approaches to interprocedural dataflow analysis – M Sharir, A Pnueli - 1981
373 Interprocedural Dataflow Analysis via Graph Reachability – Thomas Reps, Mooly Sagiv, Susan Horwitz - 1994
308 A unified approach to global program optimization – Gary A. Kildall - 1973
93 R.: Static determination of dynamic properties of recursive procedures – P Cousot, Cousot - 1977
152 Monotone Data Flow Analysis Frameworks – John B. Kam, Jeffrey D. Ullman - 1977
57 How to analyze large programs efficiently and informatively – D M Dhamdhere, B K Rosen, F K Zadeck - 1992
78 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
95 The Program Summary Graph and Flow-sensitive Interprocedural Data Flow Analysis – David Callahan - 1988
106 Weighted pushdown systems and their application to interprocedural dataflow analysis – Thomas Reps, Stefan Schwoon, Somesh Jha - 2003
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
123 Interprocedural side-effect analysis in linear time – K D Cooper, K Kennedy - 1988
126 Global data flow analysis and iterative algorithms – John B. Kam, Jeffrey, D. Ullman - 1976
179 Global Optimizations by Suppression of Partial Redundancies – E Morel, C Renvoise - 1979
279 Flow Analysis of Computer Programs – M S Hecht - 1977
176 Global value numbers and redundant computations – B K ROSEN, M N WEGMAN, F K ZADECK - 1988
244 On the Power of Magic – Catriel Beeri, Raghu Ramakrishnan - 1987
67 Model-checking pushdown systems – S Schwoon