Is there a fourth Futamura projection?

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

The three classic Futamura projections stand as a cornerstone in the development of partial evaluation. The observation by Futamura [1983], that compiler generators produced by his third projection are self-generating, and the insight by Klimov and Romanenko [1987], that Futamura's abstraction scheme can be continued beyond the three projections, are systematically investigated, and several new applications for compiler generators are proposed. Possible applications include the generation of quasi-online compiler generators and of compiler generators for domain-specific languages, and the bootstrapping of compiler generators from program specializers. From a theoretical viewpoint, there is equality between the class of self-generating compiler generators and the class of compiler generators produced by the third Futamura projection. This exposition may lead to new practical applications of compiler generators, as well as deepen our theoretical understanding of program specialization.
OriginalsprogEngelsk
TitelPEPM´09 : Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Antal sider10
ForlagAssociation for Computing Machinery
Publikationsdato2009
Sider51-60
ISBN (Trykt)978-1-60558-327-3
DOI
StatusUdgivet - 2009
BegivenhedPEPM 2009  - ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - Savannah, USA
Varighed: 19 jan. 200920 jan. 2009

Konference

KonferencePEPM 2009  - ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
LandUSA
BySavannah
Periode19/01/200920/01/2009

ID: 9151271