An experiment with the fourth Futamura projection

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

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.
OriginalsprogEngelsk
TitelPerspectives of System Informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
RedaktørerAmir Pnueli, Irina Virbitskaite, Andrei Voronkov
Antal sider16
ForlagSpringer
Publikationsdato2010
Sider135-150
ISBN (Trykt)978-3-642-11485-4
ISBN (Elektronisk)978-3-642-11486-1
DOI
StatusUdgivet - 2010
Begivenhed7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics - Novosibirsk, Rusland
Varighed: 15 jun. 200919 jun. 2009
Konferencens nummer: 7

Konference

Konference7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Nummer7
LandRusland
ByNovosibirsk
Periode15/06/200919/06/2009
NavnLecture notes in computer science
Vol/bind5947
ISSN0302-9743

ID: 12990520