The Second Futamura Projection for Type-Directed Partial Evaluation (1999)
Cached
Download Links
- [www.brics.dk]
- [www.brics.dk]
- [www.brics.dk]
- [www.brics.dk]
- DBLP
Other Repositories/Bibliography
by
Bernd Grobauer
,
Zhe Yang
| Venue: | HIGHER-ORDER AND SYMBOLIC COMPUTATION |
| Citations: | 8 - 2 self |
BibTeX
@INPROCEEDINGS{Grobauer99thesecond,
author = {Bernd Grobauer and Zhe Yang},
title = {The Second Futamura Projection for Type-Directed Partial Evaluation },
booktitle = {HIGHER-ORDER AND SYMBOLIC COMPUTATION},
year = {1999},
pages = {173--219},
publisher = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A generating extension of a program specializes it with respect to some specified part of the input. A generating extension of a program can be formed trivially by applying a partial evaluator to the program; the second Futamura projection describes the automatic generation of non-trivial generating extensions by applying a partial evaluator to itself with respect to the programs. We derive
