Flowchart Language Partial Evaluator

Appeared in Volume 8/1, February 1995

Prolog code for the partial evaluator for the flowchart language described in Chapter 4 of "Partial Evaluation and Automatic Program Generation" by Jones, Gomard and Sestoft is available by anonymous FTP from:
ftp://ftp.diku.dk/pub/diku/dists/jones-book/ch4_pl.tar.Z
All three Futamura projections are implemented.

The code has been tested under SWI Prolog 1.5 and 1.7 and should be straightforward to port to other Prologs. The README file included with the distribution gives further details.

For further information, contact:

Zerksis Umrigar
Email: umrigar@cs.binghamton.edu