Partial Evaluation and Automatic Program Generation

Partial Evaluation and Automatic Program Generation
Author :
Publisher : Peter Sestoft
Total Pages : 426
Release :
ISBN-10 : 9780130202499
ISBN-13 : 0130202495
Rating : 4/5 (99 Downloads)

Book Synopsis Partial Evaluation and Automatic Program Generation by : Neil D. Jones

Download or read book Partial Evaluation and Automatic Program Generation written by Neil D. Jones and published by Peter Sestoft. This book was released on 1993 with total page 426 pages. Available in PDF, EPUB and Kindle. Book excerpt: Partial evaluation reconciles generality with efficiency by providing automatic specialization and optimization of programs. This book covers the entire field of partial evaluation; provides simple and complete algorithms; and demonstrates that specialization can increase efficiency.


Partial Evaluation and Automatic Program Generation Related Books

Partial Evaluation and Automatic Program Generation
Language: en
Pages: 426
Authors: Neil D. Jones
Categories: Bilgisayar programlaması
Type: BOOK - Published: 1993 - Publisher: Peter Sestoft

DOWNLOAD EBOOK

Partial evaluation reconciles generality with efficiency by providing automatic specialization and optimization of programs. This book covers the entire field o
Domain-Specific Program Generation
Language: en
Pages: 336
Authors: Christian Lengauer
Categories: Computers
Type: BOOK - Published: 2004-05-24 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Program generation holds the promise of helping to bridge the gap between application-level problem solutions and efficient implementations at the level of toda
Partial Evaluation: Practice and Theory
Language: en
Pages: 445
Authors: John Hatcliff
Categories: Computers
Type: BOOK - Published: 2007-07-16 - Publisher: Springer

DOWNLOAD EBOOK

As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of softw
Programming Language Concepts
Language: en
Pages: 347
Authors: Peter Sestoft
Categories: Computers
Type: BOOK - Published: 2017-08-31 - Publisher: Springer

DOWNLOAD EBOOK

This book uses a functional programming language (F#) as a metalanguage to present all concepts and examples, and thus has an operational flavour, enabling prac
Programs as Data Objects
Language: en
Pages: 287
Authors: Olivier Danvy
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Second Symposium on Programs as Data Objects, PADO 2001, held in Aarhus, Denmark, in May 2001. The 14 revi