Loading...
Date
2012
Abstract
In this paper, we provide an improved basis for the “distillation” program transformation. It is known that superlinear speedups can be obtained using distillation, but cannot be obtained by other earlier automatic program transformation techniques such as deforestation, positive supercompilation and partial evaluation. We give distillation an improved semantic basis, and explain how superlinear speedups can occur.
Supervisor
Description
peer-reviewed
Publisher
Association for Computing Machinery
Citation
Proceedings of the ACM Workshop on Partial Evaluation and Program Manipulation;pp. 15-24
Files
Loading...
2012_Hamilton.pdf
Adobe PDF, 284.09 KB
ULRR Identifiers
Funding code
Funding Information
Science Foundation Ireland (SFI)