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.
Proceedings of the Acm Sigplan 2012 Workshop on Partial Evaluation and Program Manipulation, 2012, p. 15-24
Bisimulation; Labelled transitions systems; Program transformation; Superlinear improvement; Unfold/fold
Main Research Area:
2012 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2012