Towards efficient partial evaluation in logic programming
Authors:
- 1 June 1996
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 14 (2) , 237-259
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Extending Partial Evaluation in Logic Programming1992
- Static semantics, types, and binding time analysisTheoretical Computer Science, 1991
- From partial evaluation to mixed computationTheoretical Computer Science, 1991
- Analysis of program optimization possibilities and further developmentTheoretical Computer Science, 1991
- Explanation-based generalisation = partial evaluationArtificial Intelligence, 1988
- Explanation-based generalization: A unifying viewMachine Learning, 1986
- Meta-interpreters for expert systems (abstract)1986
- An experiment in partial evaluation: The generation of a compiler generatorLecture Notes in Computer Science, 1985