@inproceedings{ac319fad1a8b4a9b91c0c389b5eb69d2,
title = "Asymptotic speedups, bisimulation and distillation (Work in progress)",
abstract = "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.",
author = "Neil Jones and Hamilton, {G. W.}",
year = "2015",
doi = "10.1007/978-3-662-46823-4_15",
language = "English",
isbn = "978-3-662-46822-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "177--185",
editor = "Andrei Voronkov and Irina Virbitskaite",
booktitle = "Perspectives of system informatics",
note = "9th International Ershov Informatics Conference on Perspectives of System Informatics, PSI 2014 ; Conference date: 24-06-2014 Through 27-06-2014",
}