• Menu
  • Skip to right header navigation
  • Skip to main content
  • Skip to secondary navigation
  • Skip to primary sidebar

OnlineProgrammingBooks.com

Legally Free Computer Books

  • All Categories
  • All Books
  • All Categories
  • All Books
  • About Us
  • Privacy policy
  • Disclaimer
  • Subscribe
  • Contact
You are here: Home ▶ Programming ▶ Partial Evaluation and Automatic Program Generation

Partial Evaluation and Automatic Program Generation

March 24, 2006

Partial Evaluation and Automatic Program Generation

The book Partial Evaluation and Automatic Program Generation gives a comprehensive presentation of partial evaluation: theory, techniques, and applications. It is suitable for self-study, and for graduate courses and advanced undergraduate courses on program transformation techniques.

Book Description

The book should be accessible even to beginning graduate students and thus useful for beginners and researchers in partial evaluation alike. The perspective on partial evaluation and the selection of material reflect the experience of our group with construction of several partial evaluators. These include the first non-trivial self-applicable partial evaluators for a functional language, an imperative language, the lambda calculus, a Prolog subset and a subset of C. This work has been carried out at the University of Copenhagen.

Table of Contents

  • Introduction
  • Functions, Types, and Expressions
  • Programming Languages and Interpreters
  • Partial Evaluation for a Flow Chart Language
  • Partial Evaluation for a First-Order Functional Language
  • Efficiency, Speedup, and Optimality
  • Online, Offline, and Self-application
  • Partial Evaluation for the Lambda Calculus
  • Partial Evaluation for Prolog
  • Aspects of Similix: A Partial Evaluator for a Subset of Scheme
  • Partial Evaluation for the C Language
  • Binding-Time Improvements
  • Applications of Partial Evaluation
  • Termination of Partial Evaluation
  • Program Analysis
  • Larger Perspectives
  • Program Transformation
  • Guide to the Literature

Download Free PDF / Read Online

Author(s): N.D. Jones, C.K. Gomard, and P. Sestoft.
Format(s): PDF
File size: 1.70 MB
Number of pages: 415
Link: Download.

Similar Books:

  1. The Implementation of Functional Programming Languages
  2. A++ The Smallest Programming Language in the World
  3. Guide to Prolog Programming
  4. Learning to Program
  5. A Functional Pattern System for Object-Oriented Design
Previous Post: « Let’s Build a Compiler
Next Post: Designing Components with the C++ STL »

Primary Sidebar

Get Latest Updates

  • Facebook
  • Pinterest
  • RSS
  • Twitter
  • YouTube
  • About Us
  • Privacy policy
  • Disclaimer
  • Subscribe
  • Contact

Copyright © 2006–2025 OnlineProgrammingBooks.com