Distillation with labelled transition systems

TY - GEN

T1 - Distillation with labelled transition systems

AU - Hamilton, Geoffrey William

AU - Jones, Neil

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

KW - Bisimulation

KW - Labelled transitions systems

KW - Program transformation

KW - Superlinear improvement

KW - Unfold/fold

UR - http://www.scopus.com/inward/record.url?scp=84857821455&partnerID=8YFLogxK

U2 - 10.1145/2103746.2103753

DO - 10.1145/2103746.2103753

M3 - Article in proceedings

AN - SCOPUS:84857821455

SN - 978-1-4503-1118-2

SP - 15

EP - 24

BT - Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation

PB - Association for Computing Machinery

T2 - 2012 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

Y2 - 23 January 2012 through 24 January 2012

ER -