Partial evaluation of the “real thing”
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 122-137
- https://doi.org/10.1007/3-540-58792-6_8
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Oracle semantics for PrologaPublished by Springer Nature ,2005
- Mixtus: An automatic partial evaluator for full PrologNew Generation Computing, 1993
- Tutorial on specialisation of logic programsPublished by Association for Computing Machinery (ACM) ,1993
- Logimix: A Self-Applicable Partial Evaluator for PrologPublished by Springer Nature ,1993
- An Unfold Rule for Full PrologPublished by Springer Nature ,1993
- Supporting Transformations for the Partial Evaluation of Logic ProgramsJournal of Logic and Computation, 1993
- Proving termination properties of prolog programs: A semantic approachThe Journal of Logic Programming, 1992
- Partial evaluation in logic programmingThe Journal of Logic Programming, 1991
- Partial evaluation of pattern matching in constraint logic programming languagesPublished by Association for Computing Machinery (ACM) ,1991
- A self-applicable partial evaluator and its use in incremental compilationNew Generation Computing, 1988