Dependence Analysis for Recursive Data

  title={Dependence Analysis for Recursive Data},
  author={Yanhong A. Liu},
This paper describes a general and powerful method for dependence analysis in the presence of recursive data constructions. The particular analysis presented is for identifying partially dead recursive data, but the general framework for representing and manipulating recursive substruc-tures applies to all dependence analyses. The method uses projections based on general regular tree grammars extended with notions of live and dead, and deenes the analysis as mutually recursive grammar… CONTINUE READING
Highly Cited
This paper has 19 citations. REVIEW CITATIONS


Publications referenced by this paper.
Showing 1-10 of 52 references

Program Specialization via Program Slicing

Dagstuhl Seminar on Partial Evaluation • 1996
View 6 Excerpts
Highly Influenced

An algorithm for comparing deterministic regular tree grammars

B. Long
Technical Report TR 503, • 1998

Static Caching for Incremental Computation

ACM Trans. Program. Lang. Syst. • 1998
View 4 Excerpts

On the complexity of escape analysis

A. Deutsch
In Confer- ence Record of the 24th Annual ACM Symposium on Princi- ples of Programming Languages, • 1997

Similar Papers

Loading similar papers…