Partial Evaluation: Practice and Theory

Partial Evaluation: Practice and Theory Book Details:

Publisher : Springer

ISBN-13 : 3540470182

Page : 442 pages

Rating : 4.5/5 from 182 voters

As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of software. Partial evaluation is an attractive technology for modern software construction since it provides automatic tools for software specialization and is based on rigorous semantic foundations. This book is based on a school held at DIKU Copenhagen, Denmark in summer 1998 during which leading researchers summarized the state of the art in partial evaluation. The lectures presented survey the foundations of partial evaluation in a clear and rigorous manner and practically introduce several existing partial evaluators with numerous examples. The second part of the book is devoted to more sophisticated theoretical aspects, advances systems and applications, and highlights open problems and challenges. The book is ideally suited for advanced courses and for self study.

More Books:

Partial Evaluation: Practice and Theory
Language: en
Pages: 442
Authors: John Hatcliff
Categories: Computers
Type: BOOK - Published: 2007-07-16 - Publisher: Springer

As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of softw
Partial Evaluation. Practice and Theory
Language: en
Pages: 452
Authors: John Hatcliff
Categories:
Type: BOOK - Published: 2014-01-15 - Publisher:

Foundations of Secure Computation
Language: en
Pages: 319
Authors: Friedrich L. Bauer
Categories: Computers
Type: BOOK - Published: 2000 - Publisher: IOS Press

The final quarter of the 20th century has seen the establishment of a global computational infrastructure. This and the advent of programming languages such as
Applied Semantics
Language: en
Pages: 536
Authors: Gilles Barthe
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2003-08-02 - Publisher: Springer

This book is based on material presented at the international summer school on Applied Semantics that took place in Caminha, Portugal, in September 2000. We aim
Generative Programming and Component Engineering
Language: en
Pages: 334
Authors: Don Batory
Categories: Business & Economics
Type: BOOK - Published: 2002-09-23 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering, GPCE 2002, held in Pit
Perspectives of Systems Informatics
Language: en
Pages: 411
Authors: Edmund Clarke
Categories: Computers
Type: BOOK - Published: 2012-05-13 - Publisher: Springer

This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PS
Functional and Logic Programming
Language: en
Pages: 398
Authors: Herbert Kuchen
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

This book constitutes the refereed proceedings of the 5th International Symposium on Functional and Logic Programming, FLOPS 2001, held in Tokyo, Japan in March
Typed Lambda Calculi and Applications
Language: en
Pages: 436
Authors: Samson Abramsky
Categories: Mathematics
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland i
Semantics, Applications, and Implementation of Program Generation
Language: en
Pages: 226
Authors: Walid Taha
Categories: Computers
Type: BOOK - Published: 2003-06-30 - Publisher: Springer

This volume constitutes the proceedings of the second International Workshop on the Semantics, Applications, and Implementation of Program Generation (SAIG 2001
Fundamental Approaches to Software Engineering
Language: en
Pages: 374
Authors: Maura Cerioli
Categories: Computers
Type: BOOK - Published: 2005-03-01 - Publisher: Springer

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was establ