An Efficient Hybrid Algorithm for Incremental Data Flow Analysis

  title={An Efficient Hybrid Algorithm for Incremental Data Flow Analysis},
  author={Thomas J. Marlowe and Barbara G. Ryder},
Our exhaustive and incremental hybrid data flow analysis algorithms, based on iteration and elimination techniques, are designed for incremental update of a wide variety of monotone data flow problems in response to source program changes. Unlike previous incremental iterative methods, this incremental algorithm efficiently computes precise and correct solutions. We give theoretical results on the imprecision of restarting iteration for incremental update by fixed point iteration which provided… CONTINUE READING
Highly Cited
This paper has 68 citations. REVIEW CITATIONS
46 Citations
0 References
Similar Papers


Publications citing this paper.

69 Citations

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

See our FAQ for additional information.

Similar Papers

Loading similar papers…