Welcome to E-Books Directory
This is a freely downloadable e-book.

Partial Evaluation and Automatic Program Generation

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

Publisher: Prentice Hall 1993
ISBN/ASIN: 0130202495
ISBN-13: 9780130202499
Number of pages: 400

Description:
This book is about partial evaluation, a program optimization technique also known as program specialization. It presents general principles for constructing partial evaluators for a variety of programming languages, and it gives examples of applications and numerous references to the literature. Partial evaluation works with program texts rather than mathematical functions: a partial evaluator is an algorithm which, when given a program and some of its input data, produces a so-called residual or specialized program. Running the residual program on the remaining input data will yield the same result as running the original program on all of its input data.

Home page url

 Download or read it online here:

Download link

 (1.7MB, PDF)