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
APA
Vancouver
Author
Bibtex
}
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