Distillation with labelled transition systems

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

Standard

Distillation with labelled transition systems. / Hamilton, Geoffrey William; Jones, Neil.

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, 2012. s. 15-24.

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

Harvard

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

APA

Hamilton, G. W., & Jones, N. (2012). Distillation with labelled transition systems. I Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation (s. 15-24). Association for Computing Machinery. https://doi.org/10.1145/2103746.2103753

Vancouver

Hamilton GW, Jones N. Distillation with labelled transition systems. I Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery. 2012. s. 15-24 https://doi.org/10.1145/2103746.2103753

Author

Hamilton, Geoffrey William ; Jones, Neil. / Distillation with labelled transition systems. Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, 2012. s. 15-24

Bibtex

@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",

}

RIS

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

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

ER -

ID: 172848201