Annotated bibliography on partial evaluation and mixed computation
- 1 September 1988
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 6 (2-3) , 309-354
- https://doi.org/10.1007/bf03037145
Abstract
No abstract availableKeywords
This publication has 50 references indexed in Scilit:
- A self-applicable partial evaluator for term rewriting systemsPublished by Springer Nature ,1989
- New insights into partial evaluation: the SCHISM experimentPublished by Springer Nature ,1988
- Compiling OR-parallelism into AND-parallelismPublished by Springer Nature ,1986
- Symbolic Semantics and Program ReductionIEEE Transactions on Software Engineering, 1985
- Polyvariant mixed computation for analyzer programsActa Informatica, 1984
- From abstract model to efficient compilation of patternsPublished by Springer Nature ,1982
- On compiling embedded languages in LISPPublished by Association for Computing Machinery (ACM) ,1980
- On the partial computation principleInformation Processing Letters, 1977
- A partial evaluator, and its use as a programming toolArtificial Intelligence, 1977
- Correctness of mixed computation in ALGOL-like programsPublished by Springer Nature ,1977