Logimix: A Self-Applicable Partial Evaluator for Prolog
- 1 January 1993
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Partial evaluation in logic programmingThe Journal of Logic Programming, 1991
- Automatic autoprojection of recursive equations with global variables and abstract data typesScience of Computer Programming, 1991
- Towards Binding-Time Improvement for FreePublished by Springer Nature ,1991
- Mix: A self-applicable partial evaluator for experiments in compiler generationHigher-Order and Symbolic Computation, 1989
- A self-applicable partial evaluator and its use in incremental compilationNew Generation Computing, 1988