Hamilton, GeoffORCID: 0000-0001-5954-6444
(2021)
The next 700 program transformers.
In: International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2021, 7-8 Sept 2021, Tallinn, Estonia.
ISBN 978-3-030-98868-5
In this paper, we describe a hierarchy of program transformers, capable of performing fusion to eliminate intermediate data structures, in which the transformer at each level of the hierarchy builds on top of those at lower levels. The program transformer at level 1 of the hierarchy corresponds to positive supercompilation, and that at level 2 corresponds to distillation. We give a number of examples of the application of our transformers at different levels in the hierarchy and look at the speedups that are obtained. We determine the maximum speedups that can be obtained at each level, and prove that the transformers at each level terminate.