Distillation with labelled transition systems

Geoffrey William Hamilton; Neil Jones

doi:10.1145/2103746.2103753

Distillation with labelled transition systems

Geoffrey William Hamilton, Neil Jones

Department of Computer Science

11 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation
Number of pages	10
Publisher	Association for Computing Machinery
Publication date	2012
Pages	15-24
ISBN (Print)	978-1-4503-1118-2
DOIs	https://doi.org/10.1145/2103746.2103753
Publication status	Published - 2012
Event	2012 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - Philadelphia, United States Duration: 23 Jan 2012 → 24 Jan 2012

Conference

Conference	2012 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Country/Territory	United States
City	Philadelphia
Period	23/01/2012 → 24/01/2012

Keywords

Bisimulation
Labelled transitions systems
Program transformation
Superlinear improvement
Unfold/fold

Access to Document

10.1145/2103746.2103753

Cite this

Hamilton, GW & Jones, N 2012, Distillation with labelled transition systems. in Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, pp. 15-24, 2012 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Philadelphia, United States, 23/01/2012. https://doi.org/10.1145/2103746.2103753

@inproceedings{bb9bfb0dbb684ca18ec3ce4b0de1b09f,

title = "Distillation with labelled transition systems",

abstract = "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.",

keywords = "Bisimulation, Labelled transitions systems, Program transformation, Superlinear improvement, Unfold/fold",

author = "Hamilton, {Geoffrey William} and Neil Jones",

year = "2012",

doi = "10.1145/2103746.2103753",

language = "English",

isbn = "978-1-4503-1118-2",

pages = "15--24",

booktitle = "Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation",

publisher = "Association for Computing Machinery",

note = "2012 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation ; Conference date: 23-01-2012 Through 24-01-2012",

}

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 -

Distillation with labelled transition systems

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this