Distillation is a fully automatic program transformation that can yield superlinear program speedups. Bisimulation is a key to the proof that distillation is correct, i.e., preserves semantics. However the proof, based on observational equivalence, is insensitive to program running times. This paper shows how distillation can give superlinear speedups on some “old chestnut” programs well-known from the early program transformation literature: naive reverse, factorial sum, and Fibonacci.
CITATION STYLE
Jones, N. D., & Hamilton, G. W. (2015). Asymptotic speedups, bisimulation and distillation (Work in progress). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8974, pp. 177–185). Springer Verlag. https://doi.org/10.1007/978-3-662-46823-4_15
Mendeley helps you to discover research relevant for your work.