Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers (1999)
Cached
Download Links
- [wwwtcs.inf.tu-dresden.de]
- [www.orchid.inf.tu-dresden.de]
- [www.orchid.inf.tu-dresden.de]
- DBLP
Other Repositories/Bibliography
| Venue: | In FLOPS'99 |
| Citations: | 17 - 5 self |
BibTeX
@INPROCEEDINGS{Kühnemann99comparisonof,
author = {Armin Kühnemann},
title = {Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers},
booktitle = {In FLOPS'99},
year = {1999},
pages = {114--130},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We compare transformations for the elimination of intermediate results in first-order functional programs. We choose the well known deforestation technique of Wadler and composition techniques from the theory of tree transducers, of which the implementation of functional programs yet does not take advantage. We identify syntactic classes of function definitions for which both techniques deliver equally efficient results and for which one technique is more powerful than the other.
