The Interprocedural Coincidence Theorem (1992)

Cached

Download Links

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

Active Bibliography

15 Towards a Tool Kit for the Automatic Generation of Interprocedural Data Flow Analyses – Jens Knoop, Oliver Rüthing, Oliver R, Bernhard Steffen - 1996
46 Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs – Jens Knoop, Bernhard Steffen, Jürgen Vollmer - 1994
157 Lazy Code Motion – Jens Knoop, Oliver Rüthing, Bernhard Steffen - 1992
63 Managing Interprocedural Optimization – Mary Wolcott Hall - 1991
1 Abstract Interpretation and Attribute Grammars – Mads Rosendahl, Clare Hall - 1992
78 Demand-driven Computation of Interprocedural Data Flow – Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa - 1995
Constructing Call Multigraphs Using Dependence Graphs – Arun Lakhotia The - 1993
6 Bidirectional Data Flow Analysis : Myths and Reality – Uday P. Khedker, Dhananjay M. Dhamdhere - 1999
56 Interprocedural Aliasing In The Presence Of Pointers – William Alexander Landi - 1992
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
141 Undecidability of Static Analysis – William Landi - 1992
373 Interprocedural Dataflow Analysis via Graph Reachability – Thomas Reps, Mooly Sagiv, Susan Horwitz - 1994
47 Compiling for the Multiscalar Architecture – T. N. Vijaykumar - 1998
7 A Formal, Language-Independent, and Compositional Approach to Interprocedural Control Dependence Analysis – Judith A. Stafford - 2000
4 Interprocedural Control Flow Analysis – Flemming Nielson, Hanne Riis Nielson - 1999
18 Abstracting call-stacks for interprocedural verification of imperative programs – Wendelin Serwe - 2004
3 Iterative data-flow analysis, revisited – Keith D. Cooper, Timothy J. Harvey, Ken Kennedy - 2004
ACM Workshop on Strategic Directions in Computing Research – Mit Laboratory, Patrick Cousot