Convergence of program transformers in the metric space of trees

@article{Srensen2000ConvergenceOP,
  title={Convergence of program transformers in the metric space of trees},
  author={Morten Heine S\orensen},
  journal={Sci. Comput. Program.},
  year={2000},
  volume={37},
  pages={163-205}
}
In recent years increasing consensus has emerged that program transformers, e.g., partial evaluation and unfold/fold transformations, should terminate; a compiler should stop even if it performs fancy optimizations! A number of techniques to ensure termination of program transformers have been invented, but their correctness proofs are sometimes long and involved. We present a framework for proving termination of program transformers, cast in the metric space of trees. We rst introduce the… CONTINUE READING
Highly Cited
This paper has 32 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
23 Citations
36 References
Similar Papers

References

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

Gl uck. An algorithm of generalization in positive supercompila tion

  • R.M.H. S rensen
  • Logic Programming: Proceedings of the 1995…
  • 1995
Highly Influential
4 Excerpts

A compacti cation of the algebra of terms

  • J. Mycielski, W. Taylor
  • Algebra Univer salis, 6:159{163,
  • 1976
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…