Essence of generalized partial computation
- 11 November 1991
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 90 (1) , 61-79
- https://doi.org/10.1016/0304-3975(91)90299-h
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Mix: A self-applicable partial evaluator for experiments in compiler generationHigher-Order and Symbolic Computation, 1989
- Partial evaluation of pattern matching in stringsInformation Processing Letters, 1989
- The concept of a supercompilerACM Transactions on Programming Languages and Systems, 1986
- Eliminating Redundant Recursive Calls.ACM Transactions on Programming Languages and Systems, 1983
- Mixed computation: potential applications and problems for studyTheoretical Computer Science, 1982
- Simplification by Cooperating Decision ProceduresACM Transactions on Programming Languages and Systems, 1979
- Improving programs by the introduction of recursionCommunications of the ACM, 1977
- A fast string searching algorithmCommunications of the ACM, 1977
- Fast Pattern Matching in StringsSIAM Journal on Computing, 1977
- A partial evaluator, and its use as a programming toolArtificial Intelligence, 1977