CMU Artificial Intelligence Repository
Partial evaluator for flowchart language
lang/prolog/code/eval/parteval/
This directory contains Prolog code for the partial evaluator for
the flowchart language described in Chapter 4 of
N.D. Jones, C.K. Gomard, and P. Sestoft, "Partial Evaluation and
Automatic Program Generation" Prentice Hall International 1993. 415
pages, ISBN 0-13-020249-5 ($44.95).
All three Futamura projections are implemented.
See ACM Computing Reviews July 1994, item 9407-0420.
See Also:
lang/scheme/code/eval/romanenk/
lang/scheme/impl/similix/
lang/scheme/code/eval/sestoft/
Origin:
ftp.diku.dk:/pub/diku/dists/jones-book/ch4_pl.tar.Z
Ports: The code has been tested under SWI Prolog 1.5 and 1.7
and should hopefully port to other Prologs without too
many problems.
Updated: Fri Oct 7 18:13:49 1994
CD-ROM:
Contact: Zerksis Umrigar
Keywords:
Authors!Umrigar, Metacircular Evaluation, Partial Evaluation,
Prolog!Code
Contains:
p_eval.bib Bibtex bibliography on partial evaluation.
Contributed by Zerksis Umrigar.
the Chapter 4 flowchart language, in Prolog.
ch4_pl.tgz Interpreter and self-applicable partial evaluator for
book.txt Preface and table of contents from the book.
References: ?
Last Web update on Mon Feb 13 10:33:32 1995
AI.Repository@cs.cmu.edu