Partial Evaluation and Automatic Program Generation

Download the full text of the book

If you have a Postscript printer or Postscript emulator, use the Postscript version (2.3 MB)

If you want to read it from the screen, use the PDF versions: PDF (US letter) (1.7 MB) or PDF (A4) (1.7 MB).

Browse full text at Google Books.

What is partial evaluation?

Let p be a program which takes two inputs d1 and d2. Ordinarily, the application of p to (d1,d2) would be evaluated in one step:

Evaluate p with input (d1, d2), to produce the result res.

(1) Partially evaluate p with input d1, to produce a new program r. (2) Evaluate r with input d2, to produce the result res.

The book's bibliographic data

How to obtain a copy of the book

Getting a paper copy may be harder; the book is out of print. You may find it second-hand somewhere, or else you may contact Neil D. Jones or Peter Sestoft to see if we have any copies left.

Contacting the authors

Online materials related to the book

Other online materials on partial evaluation