CMU Artificial Intelligence Repository
Partial evaluator for a first-order Scheme subset
lang/scheme/code/eval/sestoft/
This directory contains a self-applicable partial evaluator for a
first-order Scheme subset from Chapter 5 and Appendix A of the book
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).
Also included is a revised version of the code, conforming to IEEE
Scheme + eval, that works with Aubrey Jaffer's SCM version 4c5.
See Also:
lang/scheme/code/eval/romanenk/
lang/prolog/code/eval/parteval/
lang/scheme/impl/similix/
Origin:
ftp.diku.dk:/pub/diku/dists/jones-book/
as the files Scheme0.tar.Z and Scheme0-ieee.tar.Z
Updated: Fri Oct 7 18:14:20 1994
CD-ROM:
Author(s): Peter Sestoft
Keywords:
Metacircular Evaluation, Partial Evaluation, Scheme!Code
Contains:
scm0ieee.tgz The IEEE Scheme version of the evaluator.
scm0.tgz The partial evaluator.
book.txt Preface and table of contents from the book.
References: ?
Last Web update on Mon Feb 13 10:35:47 1995
AI.Repository@cs.cmu.edu