Program Transformation and Programming Environments

Program Transformation and Programming Environments
Author :
Publisher : Springer Science & Business Media
Total Pages : 379
Release :
ISBN-10 : 9783642464904
ISBN-13 : 3642464904
Rating : 4/5 (904 Downloads)

Book Synopsis Program Transformation and Programming Environments by : F.L. Bauer

Download or read book Program Transformation and Programming Environments written by F.L. Bauer and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 379 pages. Available in PDF, EPUB and Kindle. Book excerpt: Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments


Program Transformation and Programming Environments Related Books

Program Transformation and Programming Environments
Language: en
Pages: 379
Authors: F.L. Bauer
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments
Program Transformation and Programming Environments
Language: en
Pages: 378
Authors: Nato Advanced Research Workshop on Program Transformation and Programming Environments (1983 : Munich, Germany)
Categories: Computer programming
Type: BOOK - Published: 1984 - Publisher:

DOWNLOAD EBOOK

Specification and Transformation of Programs
Language: en
Pages: 508
Authors: Helmut A. Partsch
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved,
Specification and Transformation of Programs
Language: en
Pages: 520
Authors: Helmut A. Partsch
Categories: Computers
Type: BOOK - Published: 1990-07-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved,
Automatic Program Development
Language: en
Pages: 283
Authors: Olivier Danvy
Categories: Computers
Type: BOOK - Published: 2008-01-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation