Reasoning about hierarchies of online program specialization systems
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 161-182
- https://doi.org/10.1007/3-540-61580-6_9
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Multi-Level Lambda-Calculi: An algebraic descriptionPublished by Springer Nature ,1996
- A Self-Applicable supercompilerPublished by Springer Nature ,1996
- On the mechanics of metasystem hierarchies in program transformationPublished by Springer Nature ,1996
- Efficient multi-level generating extensions for program specializationPublished by Springer Nature ,1995
- Parameterized partial evaluationACM Transactions on Programming Languages and Systems, 1993
- Occam's razor in metacomputation: the notion of a perfect process treePublished by Springer Nature ,1993
- Application of metasystem transition to function inversion and transformationPublished by Association for Computing Machinery (ACM) ,1990
- Mix: A self-applicable partial evaluator for experiments in compiler generationHigher-Order and Symbolic Computation, 1989
- A self-applicable partial evaluator and its use in incremental compilationNew Generation Computing, 1988
- An experiment in partial evaluation: The generation of a compiler generatorLecture Notes in Computer Science, 1985