An experiment with the fourth Futamura projection

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Standard

An experiment with the fourth Futamura projection. / Glück, Robert.

Perspectives of System Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. red. / Amir Pnueli; Irina Virbitskaite; Andrei Voronkov. Springer, 2010. s. 135-150 (Lecture notes in computer science, Bind 5947).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Harvard

Glück, R 2010, An experiment with the fourth Futamura projection. i A Pnueli, I Virbitskaite & A Voronkov (red), Perspectives of System Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Springer, Lecture notes in computer science, bind 5947, s. 135-150, 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, Novosibirsk, Rusland, 15/06/2009. https://doi.org/10.1007/978-3-642-11486-1_12

APA

Glück, R. (2010). An experiment with the fourth Futamura projection. I A. Pnueli, I. Virbitskaite, & A. Voronkov (red.), Perspectives of System Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers (s. 135-150). Springer. Lecture notes in computer science Bind 5947 https://doi.org/10.1007/978-3-642-11486-1_12

Vancouver

Glück R. An experiment with the fourth Futamura projection. I Pnueli A, Virbitskaite I, Voronkov A, red., Perspectives of System Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Springer. 2010. s. 135-150. (Lecture notes in computer science, Bind 5947). https://doi.org/10.1007/978-3-642-11486-1_12

Author

Glück, Robert. / An experiment with the fourth Futamura projection. Perspectives of System Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. red. / Amir Pnueli ; Irina Virbitskaite ; Andrei Voronkov. Springer, 2010. s. 135-150 (Lecture notes in computer science, Bind 5947).

Bibtex

@inproceedings{ddd7f5d0695811de8bc9000ea68e967b,

title = "An experiment with the fourth Futamura projection",

abstract = "We have experimentally validated the theoretical insight, that a compiler generator is an Ershov generating extension of a program specializer, by showing that an existing offline partial evaluator can perform the fourth Futamura projection. Specifically, an online and an offline partial evaluator for an imperative flowchart language were transformed into two new compiler generators by Romanenko{\textquoteright}s classical partial evaluator Unmix. The two partial evaluators are described, as is a novel recursive method for polyvariant specialization. The new compiler generators are demonstrated by converting a universal parser into a parser generator. These results strongly indicate that existing partial evaluation techniques can be put to work on several new applications. To date, all previous compiler generators based on partial evaluation were either generated by self-application or handwritten. None of these works considered the generation of one compiler generator by another. ",

author = "Robert Gl{\"u}ck",

year = "2010",

doi = "10.1007/978-3-642-11486-1_12",

language = "English",

isbn = "978-3-642-11485-4",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "135--150",

editor = "Amir Pnueli and Irina Virbitskaite and Andrei Voronkov",

booktitle = "Perspectives of System Informatics",

address = "Switzerland",

note = "7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2009 ; Conference date: 15-06-2009 Through 19-06-2009",

}

RIS

TY - GEN

T1 - An experiment with the fourth Futamura projection

AU - Glück, Robert

N1 - Conference code: 7

PY - 2010

Y1 - 2010

N2 - We have experimentally validated the theoretical insight, that a compiler generator is an Ershov generating extension of a program specializer, by showing that an existing offline partial evaluator can perform the fourth Futamura projection. Specifically, an online and an offline partial evaluator for an imperative flowchart language were transformed into two new compiler generators by Romanenko’s classical partial evaluator Unmix. The two partial evaluators are described, as is a novel recursive method for polyvariant specialization. The new compiler generators are demonstrated by converting a universal parser into a parser generator. These results strongly indicate that existing partial evaluation techniques can be put to work on several new applications. To date, all previous compiler generators based on partial evaluation were either generated by self-application or handwritten. None of these works considered the generation of one compiler generator by another.

AB - We have experimentally validated the theoretical insight, that a compiler generator is an Ershov generating extension of a program specializer, by showing that an existing offline partial evaluator can perform the fourth Futamura projection. Specifically, an online and an offline partial evaluator for an imperative flowchart language were transformed into two new compiler generators by Romanenko’s classical partial evaluator Unmix. The two partial evaluators are described, as is a novel recursive method for polyvariant specialization. The new compiler generators are demonstrated by converting a universal parser into a parser generator. These results strongly indicate that existing partial evaluation techniques can be put to work on several new applications. To date, all previous compiler generators based on partial evaluation were either generated by self-application or handwritten. None of these works considered the generation of one compiler generator by another.

U2 - 10.1007/978-3-642-11486-1_12

DO - 10.1007/978-3-642-11486-1_12

M3 - Article in proceedings

SN - 978-3-642-11485-4

T3 - Lecture notes in computer science

SP - 135

EP - 150

BT - Perspectives of System Informatics

A2 - Pnueli, Amir

A2 - Virbitskaite, Irina

A2 - Voronkov, Andrei

PB - Springer

T2 - 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics

Y2 - 15 June 2009 through 19 June 2009

ER -

ID: 12990520