Demand-driven Computation of Interprocedural Data Flow (1995)

Cached

Download Links

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

Active Bibliography

58 A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis – Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa - 1998
6 A Demand-Driven Approach for Efficient Interprocedural Data Flow Analysis – Evelyn Duesterwald - 1996
15 Towards a Tool Kit for the Automatic Generation of Interprocedural Data Flow Analyses – Jens Knoop, Oliver Rüthing, Oliver R, Bernhard Steffen - 1996
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
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
18 Frameworks for intra- and interprocedural dataflow analysis – Craig Chambers, Craig Chambers, Jeffrey Dean, Jeffrey Dean, David Grove, David Grove - 1996
Intraprocedural Analysis and the Verification of Concurrent Programs – Akash Lal - 2009
ACKNOWLEDGMENTS – Akash Lal
20 Static Single Information Form – C. Scott Ananian, Martin Rinard - 1999
31 Value Dependence Graphs: Representation without Taxation – Daniel Weise , Roger F. Crew, Michael Ernst, Bjarne Steensgaard - 1994
6 Bidirectional Data Flow Analysis : Myths and Reality – Uday P. Khedker, Dhananjay M. Dhamdhere - 1999
371 Interprocedural Dataflow Analysis via Graph Reachability – Thomas Reps, Mooly Sagiv, Susan Horwitz - 1994
85 The Interprocedural Coincidence Theorem – Jens Knoop, Bernhard Steffen - 1992
20 Reducing the Cost of Data Flow Analysis By Congruence Partitioning – Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa - 1994
48 Interprocedural Symbolic Analysis – Paul Havlak - 1994
Automatic Generation of Solvers for Multisource Data Flow Analysis Problems – John H. E. F. Lasseter - 2004
46 Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs – Jens Knoop, Bernhard Steffen, Jürgen Vollmer - 1994
529 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994