Mix: A self-applicable partial evaluator for experiments in compiler generation
- 1 February 1989
- journal article
- Published by Springer Nature in Higher-Order and Symbolic Computation
- Vol. 2 (1) , 9-50
- https://doi.org/10.1007/bf01806312
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Mixed computation of Prolog programsNew Generation Computing, 1988
- A self-applicable partial evaluator and its use in incremental compilationNew Generation Computing, 1988
- New insights into partial evaluation: the SCHISM experimentPublished by Springer Nature ,1988
- Compiling OR-parallelism into AND-parallelismPublished by Springer Nature ,1986
- Polyvariant mixed computation for analyzer programsActa Informatica, 1984
- Mixed computation: potential applications and problems for studyTheoretical Computer Science, 1982
- On compiling embedded languages in LISPPublished by Association for Computing Machinery (ACM) ,1980
- A partial evaluator, and its use as a programming toolArtificial Intelligence, 1977
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977