Partial Evaluation and Automatic Program Generation

Partial Evaluation and Automatic Program Generation

4.5 (2 ratings by Goodreads)
By (author)  , By (author)  , By (author)  , By (author) 

List price: US$45.00

Currently unavailable

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks


Partial evaluation reconciles generality with efficiency by providing automatic specialization and optimization of programs. Proceeding from a gentle introduction for reaching state-of-the-art techniques, this book covers the entire field of partial evaluation. It provides simple and complete algorithms and demonstrates, via examples, that specialization can increase efficiency considerably. This book is intended for final year undergraduate and postgraduate courses in advanced programming languages, partial evaluation and program transformation.
show more

Product details

  • Paperback | 400 pages
  • 172.72 x 231.14 x 22.86mm | 680.39g
  • Prentice-Hall
  • Harlow, United Kingdom
  • English
  • 0130202495
  • 9780130202499

Table of contents

Functions, types and expressions; programming languages and their operational semantics; compilation; partial evaluation of a flow chart languages; partial evaluation of a first-order functional languages; the view from Olympus; partial evaluation of the Lambda calculus; partial evaluation of prolog; aspects of Similix - a partial evaluator for a subset of scheme; partial evaluation of C; applications of partial evaluation; termination of partial evaluation; program analysis; more general program transformation; guide to the literature; the self-applicable scheme specializer.
show more

Rating details

2 ratings
4.5 out of 5 stars
5 50% (1)
4 50% (1)
3 0% (0)
2 0% (0)
1 0% (0)
Book ratings by Goodreads
Goodreads is the world's largest site for readers with over 50 million reviews. We're featuring millions of their reader ratings on our book pages to help you find your new favourite book. Close X