Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation

  title={Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation},
  author={Shmuel Sagiv and Thomas W. Reps and Susan Horwitz},
  journal={Theor. Comput. Sci.},
This paper concerns inter-procedural dataflow-analysis problems in which the dataflow information at a program point is represented by an environment (i.e., a mapping from symbols to values), and the effect of a program operation is represented by a distributive environment transformer. We present two efficient algorithms that produce precise solutions: an exhaustive algorithm that finds values for all symbols at all program points, and a demand algorithm that finds the value for an individual… CONTINUE READING
Highly Influential
This paper has highly influenced 43 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 290 citations. REVIEW CITATIONS


Publications citing this paper.

291 Citations

Citations per Year
Semantic Scholar estimates that this publication has 291 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…