On the mechanics of metasystem hierarchies in program transformation
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 234-251
- https://doi.org/10.1007/3-540-60939-3_18
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Metasystem transition schemes in computer science and mathematicsWorld Futures, 1995
- Why untyped nonground metaprogramming is not (much of) a problemThe Journal of Logic Programming, 1995
- Efficient multi-level generating extensions for program specializationPublished by Springer Nature ,1995
- On the generation of specializersJournal of Functional Programming, 1994
- Hand-writing program generator generatorsPublished by Springer Nature ,1994
- A basis for a multilevel metalogic programming languagePublished by Springer Nature ,1994
- Partial evaluation in logic programmingThe Journal of Logic Programming, 1991
- Towards multiple self-applicationPublished by Association for Computing Machinery (ACM) ,1991
- From interpreting to compiling binding timesPublished by Springer Nature ,1990
- An experiment in partial evaluationACM SIGPLAN Notices, 1985