| Autor: |
Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Hatcliff, John, Mogensen, Torben Æ, Thiemann, Peter |
| Zdroj: |
Partial Evaluation; 1999, p412-432, 21p |
| Abstrakt: |
PGG is an offline partial evaluation system for the full Scheme language, conforming to the current R5RS standard [12]. This exposition concentrates on two aspects of the system: specialization of higher-order primitives;specialization of operations that involve state. The machinery for higher-order primitives enables the specialization of operations like eval, call-with-current-continuation, etc; specialization with state overcomes one of the major restrictions of traditional offline partial evaluators for functional languages. Both aspects require significant additions to the standard binding-time analysis for the lambda calculus, as well as to the specialization algorithm itself. We present an informal outline of the principles underlying the respective analyses and their associated specializers including motivating examples (parser generation and programming with message passing). [ABSTRACT FROM AUTHOR] |
| Databáze: |
Supplemental Index |
| Externí odkaz: |
|
