PEPM'92, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation
Title | PEPM'92, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation PDF eBook |
Author | |
Publisher | |
Pages | 134 |
Release | 1992 |
Genre | Programming languages (Electronic computers) |
ISBN |
Partial Evaluation: Practice and Theory
Title | Partial Evaluation: Practice and Theory PDF eBook |
Author | John Hatcliff |
Publisher | Springer |
Pages | 445 |
Release | 2007-07-16 |
Genre | Computers |
ISBN | 3540470182 |
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.
Program Specialization
Title | Program Specialization PDF eBook |
Author | Renaud Marlet |
Publisher | John Wiley & Sons |
Pages | 631 |
Release | 2013-01-24 |
Genre | Technology & Engineering |
ISBN | 1118576861 |
This book presents the principles and techniques of program specialization — a general method to make programs faster (and possibly smaller) when some inputs can be known in advance. As an illustration, it describes the architecture of Tempo, an offline program specializer for C that can also specialize code at runtime, and provides figures for concrete applications in various domains. Technical details address issues related to program analysis precision, value reification, incomplete program specialization, strategies to exploit specialized program, incremental specialization, and data specialization. The book, that targets both researchers and software engineers, also opens scientific and industrial perspectives.
TAPSOFT'97: Theory and Practice of Software Development
Title | TAPSOFT'97: Theory and Practice of Software Development PDF eBook |
Author | Michel Bidoit |
Publisher | Springer Science & Business Media |
Pages | 908 |
Release | 1997-04-02 |
Genre | Computers |
ISBN | 9783540627814 |
This book constitutes the refereed proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97), held in Lille, France, in April 1997. The volume is organized in three parts: The first presents invited contributions, the second is devoted to trees in algebra in programming (CAAP) and the third to formal approaches in software engineering (FASE). The 30 revised full papers presented in the CAAP section were selected from 77 submissions; the 23 revised full papers presented in the FASE section were selected from 79 submissions.
FPCA '93, Conference on Functional Programming Languages and Computer Architecture
Title | FPCA '93, Conference on Functional Programming Languages and Computer Architecture PDF eBook |
Author | |
Publisher | Association for Computing Machinery (ACM) |
Pages | 376 |
Release | 1993 |
Genre | Computers |
ISBN |
TAPSOFT
Title | TAPSOFT PDF eBook |
Author | |
Publisher | |
Pages | 916 |
Release | 1997 |
Genre | Computer software |
ISBN |
Proceedings of the ... European Conference on Software Maintenance and Reengineering
Title | Proceedings of the ... European Conference on Software Maintenance and Reengineering PDF eBook |
Author | |
Publisher | |
Pages | 364 |
Release | 2004 |
Genre | Software maintenance |
ISBN |