Loading...
Date
2009
Abstract
In this paper, we give a re-formulation of our previously defined distillation algorithm, which can automatically transform higherorder functional programs into equivalent tail-recursive programs. Our re-formulation simplifies the presentation of the transformation and hopefully makes it easier to understand. Using distillation, it is possible to produce superlinear improvement in the run-time of programs. This represents a significant advance over deforestation, partial evaluation and positive supercompilation, which can only produce a linear improvement.
Supervisor
Description
non-peer-reviewed
Publisher
Springer
Citation
Proceedings of the Seventh International Andrei Ershov Memorial Conference;06/2009
Files
Loading...
2009_Hamilton.pdf
Adobe PDF, 152.63 KB
Keywords
ULRR Identifiers
Funding code
Funding Information
Science Foundation Ireland (SFI)