The Interprocedural Coincidence Theorem

  title={The Interprocedural Coincidence Theorem},
  author={Jens Knoop and Bernhard Steffen},
We present an interprocedural generalization of the well-known (intraprocedural) Coincidence Theorem of Kam and Ullman, which provides a suucient condition for the equivalence of the meet over all paths (MOP) solution and the maximal xed point (MFP) solution to a data ow analysis problem. This generalization covers arbitrary imperative programs with recursive procedures, global and local variables, and formal value parameters. In the absence of procedures, it reduces to the classical… CONTINUE READING
Highly Influential
This paper has highly influenced a number of papers. REVIEW HIGHLY INFLUENTIAL CITATIONS