Demand-driven Computation of Interprocedural Data Flow (1995)

Cached

Download Links

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

Active Bibliography

58 A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis – Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa - 1998
15 Towards a Tool Kit for the Automatic Generation of Interprocedural Data Flow Analyses – Jens Knoop, Oliver Rüthing, Oliver R, Bernhard Steffen - 1996
2 Generating Analyzers with PAG – Martin Alt, Florian Martin, Reinhard Wilhelm - 1995
48 Generation of efficient interprocedural analyzers with PAG – Martin Alt, Florian Martin - 1995
6 A Demand-Driven Approach for Efficient Interprocedural Data Flow Analysis – Evelyn Duesterwald - 1996
18 Frameworks for intra- and interprocedural dataflow analysis – Craig Chambers, Craig Chambers, Jeffrey Dean, Jeffrey Dean, David Grove, David Grove - 1996
49 Interprocedural Symbolic Analysis – Paul Havlak - 1994
51 FIAT: A Framework for Interprocedural Analysis and Transformation – Mary W. Hall, John Mellor-Crummey, Alan Carle, René Rodríguez - 1995
6 Interprocedural Analyses of Fortran Programs – Béatrice Creusillet, François Irigoin - 1997
1 Practical Comparison of call string functional Approach in Data Flow Analysis – Martin Alt, Florian Martin - 1997
4 Experimental Comparison of call string and functional Approaches to Interprocedural Analysis – Florian Martin - 1999
19 Defining Flow Sensitivity in Data Flow Problems – Thomas J. Marlowe, Barbara G. Ryder, Michael G. Burke - 1995
131 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
ACKNOWLEDGMENTS – Akash Lal
Intraprocedural Analysis and the Verification of Concurrent Programs – Akash Lal - 2009
25 Path-Sensitive Value-Flow Analysis – Rastislav Bodik, Sadun Anik - 1998
32 Value Dependence Graphs: Representation without Taxation – Daniel Weise , Roger F. Crew, Michael Ernst, Bjarne Steensgaard - 1994
20 Static Single Information Form – C. Scott Ananian, Martin Rinard - 1999
1 Demand-Driven Constant Propagation – Eric Stoltz, Michael Wolfe, Michael P. Gerlek - 1993