Find en forsker – Københavns Universitet

Distillation with labelled transition systems

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Geoffrey William Hamilton, Neil Jones

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.

OriginalsprogEngelsk
TitelProceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation
Antal sider10
ForlagAssociation for Computing Machinery
Publikationsdato2012
Sider15-24
ISBN (Trykt)978-1-4503-1118-2
DOI
StatusUdgivet - 2012
Begivenhed2012 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - Philadelphia, USA
Varighed: 23 jan. 201224 jan. 2012

Konference

Konference2012 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
LandUSA
ByPhiladelphia
Periode23/01/201224/01/2012

ID: 172848201