It is suitable for self-study, and for graduate courses and advanced undergraduate courses on program transformation techniques. See the preface and the table of contents .
Partial evaluation creates a specialized version of a general program.
The specialized program may be much faster than the general one. Let p be a program which takes two inputs d1 and d2. The book's bibliographic data N.D. Jones , C.K. Gomard , and P. Sestoft , Partial Evaluation and Automatic Program Generation. With chapters by L.O. Andersen and T. Mogensen. Prentice Hall International , June 1993.