Partial Evaluation

Partial evaluation is a ProgramOptimization technique in which a program is specialized to a part of the input that is known statically (at specialization time). Partial evaluation is also known as ProgramSpecialization.

Related: BindingTime^?, BindingTimeAnalysis^?

---

Books on Partial Evaluation

• OlivierDanvy, RobertGlueck^?, PeterThiemann^? (editors) Partial Evaluation. Volume 1110 of Lecture Notes in Computer Science, Springer-Verlag, 1996. http://www.diku.dk/users/glueck/PE96-book.html

  Partial Evaluation has reached a point where theory and techniques have matured, substantial systems have been developed, and realistic applications can benefit from partial evaluation. The 24 strictly refereed full papers included evaluate the progress achieved in the field during the last decade. Also included is a detailed preface by the volume editors and a subject index. All in all, this book competently reports the state of the art and future perspectives in partial evaluation and is thus compulsory reading for anybody interested in the area.

---

CategoryTransformation, CategoryOptimization | Contributions by EelcoVisser