Books

Books : reviews

Neil D. Jones, Carsten K. Gomard, Peter Sestoft.
Partial Evaluation and Automatic Program Generation.
Prentice Hall. 1993

rating : 3 : worth reading

Partial evaluation reconciles generality with efficiency by providing automated specialization and optimization of programs. This book covers the entire field of partial evaluation and takes the reader through a gentle introduction to state-of-the-art techniques. It is the first complete book on automatic partial evaluation to provide a practical and theoretically well-founded overview.

Simple and complete algorithms are included and the book demonstrates by numerous examples that specialization can increase efficiency considerably.

Neil D. Jones.
Computablity and Complexity: from a programming perspective.
MIT Press. 1997