Driving in the Jungle (2001)
| Venue: | In Olivier Danvy and Andrzej Filinski, editors, Proceedings of the Second Symposium on Programs as Data Objects |
| Citations: | 4 - 1 self |
BibTeX
@INPROCEEDINGS{Secher01drivingin,
author = {Jens Peter Secher},
title = {Driving in the Jungle},
booktitle = {In Olivier Danvy and Andrzej Filinski, editors, Proceedings of the Second Symposium on Programs as Data Objects},
year = {2001},
pages = {198--217},
publisher = {BRICS, Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Collapsed-jungle evaluation is an evaluation strategy for functional programs that can give super-linear speedups compared to conventional evaluation strategies such as call-by-need. However, the former strategy may incur administrative evaluation overhead. We demonstrate how this overhead can be eliminated by transforming the program using a variation of positive supercompilation in which the transformation strategy is based on collapsed-jungle evaluation. In penetrating the constant-factor barrier, we seem to be close to establishing a transformation technique that guarantees the eciency of the transformed program.
