A bibliography on partial evaluation
- 1 February 1988
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 23 (2), 19-26
- https://doi.org/10.1145/43908.43910
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- How to invent a Prolog machineNew Generation Computing, 1987
- Compiling OR-parallelism into AND-parallelismNew Generation Computing, 1987
- The concept of a supercompilerACM Transactions on Programming Languages and Systems, 1986
- Deriving a compiler from an operational semantics written in VDLComputer Languages, 1985
- Mixed computation: potential applications and problems for studyTheoretical Computer Science, 1982
- On the generation of compilers from language definitionsInformation Processing Letters, 1980
- A supercompiler system based on the language REFALACM SIGPLAN Notices, 1979
- On the partial computation principleInformation Processing Letters, 1977
- A partial evaluator, and its use as a programming toolArtificial Intelligence, 1977
- Incremental ComputationPublished by Elsevier ,1967