An Efficient Hybrid Algorithm for Incremental Data Flow Analysis

@inproceedings{Marlowe1989AnEH,
  title={An Efficient Hybrid Algorithm for Incremental Data Flow Analysis},
  author={Thomas J. Marlowe and Barbara G. Ryder},
  booktitle={POPL},
  year={1989}
}
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

Citations

Publications citing this paper.

69 Citations

02468'90'96'03'10'17
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…