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.