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 (495 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
Computability and Complexity
Language: en
Pages: 494
Authors: Neil D. Jones
Categories: Computers
Type: BOOK - Published: 1997 - Publisher: MIT Press

DOWNLOAD EBOOK

Computability and complexity theory should be of central concern to practitioners as well as theorists. Unfortunately, however, the field is known for its impen
Program Synthesis
Language: en
Pages: 138
Authors: Sumit Gulwani
Categories: Computers
Type: BOOK - Published: 2017-07-11 - Publisher:

DOWNLOAD EBOOK

Program synthesis is the task of automatically finding a program in the underlying programming language that satisfies the user intent expressed in the form of
SOFSEM 2000: Theory and Practice of Informatics
Language: en
Pages: 470
Authors: Vaclav Hlavac
Categories: Computers
Type: BOOK - Published: 2000-11-15 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 27th Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2000, held in Milovy, Czec
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