Demand-driven Computation of Interprocedural Data Flow (1995)

Cached

Download Links

by Evelyn Duesterwald , Rajiv Gupta , Mary Lou Soffa
Citations:78 - 9 self

Documents Related by Co-Citation

373 Interprocedural Dataflow Analysis via Graph Reachability – Thomas Reps, Mooly Sagiv, Susan Horwitz - 1994
305 Two approaches to interprocedural dataflow analysis – M Sharir, A Pnueli - 1981
1269 Program slicing – M Weiser - 1984
77 Demand Interprocedural Dataflow Analysis – Susan Horwitz , Thomas Reps, Mooly Sagiv
95 The Program Summary Graph and Flow-sensitive Interprocedural Data Flow Analysis – David Callahan - 1988
696 Interprocedural Slicing Using Dependence Graphs – Susan Horwitz, Thomas Reps, David Binkley - 1990
123 Interprocedural side-effect analysis in linear time – K D Cooper, K Kennedy - 1988
386 Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers – Maryam Emami, Rakesh Ghiya, Laurie J. Hendren - 1994
45 Demand Interprocedural Program Analysis Using Logic Databases – Thomas W. Reps - 1994
42 Solving demand versions of interprocedural analysis problems – T W Reps - 1994
87 The Interprocedural Coincidence Theorem – Jens Knoop, Bernhard Steffen - 1992
86 Interprocedural constant propagation – David Callahan, Keith D. Cooper, Ken Kennedy - 1986
43 Interprocedural Constant Propagation: A Study of Jump Function Implementations – Dan Grove , Linda Torczon - 1993
308 A unified approach to global program optimization – Gary A. Kildall - 1973
527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
520 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
298 Magic sets and other strange ways to implement logic programs – F Bancilhon, D Maier, Y Sagiv, J Ullman - 1985
130 An efficient way to find side effects of procedure calls and aliases of variables – J Banning - 1979
71 Fast interprocedural alias analysis – K D COOPER, K KENNEDY - 1989