A New Framework for Exhaustive and Incremental Data Flow Analysis Using DJ Graphs

@inproceedings{Sreedhar1996ANF,
  title={A New Framework for Exhaustive and Incremental Data Flow Analysis Using DJ Graphs},
  author={Vugranam C. Sreedhar and Guang R. Gao and Yong-Fong Lee},
  booktitle={PLDI},
  year={1996}
}
We present a new elimination-based framework for exhaustive and incremental data flow analysis using the DJ graph representation of a program. Unlike the previous approaches to elimination-based incremental data flow analysis, our approach can handle arbitrary non-structural and structural changes to program flowgraphs, including those causing irreducibility. We show how our approach is related to (iterated) dominance frontiers, and exploit this relationship to establish the complexity of our… CONTINUE READING
22 Citations
2 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-2 of 2 references

Eflcient Program Analyses Using DJ Graphs

  • V. C. SREEDHAR
  • PhD thesis,
  • 1995
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…