The Interprocedural Coincidence Theorem (1992)

View PDF

Download Links

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

Active Bibliography

16 Towards a Tool Kit for the Automatic Generation of Interprocedural Data Flow Analyses – Jens Knoop, Oliver RĂ¼thing, Bernhard Steffen - 1994
564 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
385 Interprocedural dataflow analysis via graph reachability – Thomas Reps, Susan Horwitz, Mooly Sagiv - 1994
732 Interprocedural Slicing Using Dependence Graphs – Susan Horwitz, Thomas Reps, David Binkley - 1990
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
885 Efficiently computing static single assignment form and the control dependence graph – Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck - 1991
864 The program dependence graph and its use in optimization – Jeanne Ferrante, Karl J. Ottenstein, Joe D. Warren - 1987
579 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
575 Perspectives on Program Analysis – Flemming Nielson - 1996