Author: Publisher:
ISBN: 9781581134551
Category :
Languages : en
Pages :
Book Description
2002 Partial Evaluation and Semantics Based Program Manipulation Workshop
Author: Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation
Author: ACM Special Interest Group on Programming Languages (SIGPLAN)Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation
Author: Peter ThiemannPartial Evaluation and Semantics-based Program Manipulation
Author: ACM Special Interest Group on Programming LanguagesPublisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation
Author: Publisher:
ISBN:
Category : Computer programming
Languages : en
Pages : 158
Book Description
Partial Evaluation and Semantics-based Program Manipulation
Author: ACM. Special interest group on programming languages (New York, NY US)Publisher:
ISBN:
Category :
Languages : en
Pages : 121
Book Description
Partial Evaluation and Semantics-based Program Manipulation
Author: Program Specialization
Author: Renaud MarletPublisher: John Wiley & Sons
ISBN: 1118576861
Category : Technology & Engineering
Languages : en
Pages : 631
Book Description
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.
FME 2002: Formal Methods - Getting IT Right
Author: Lars-Henrik ErikssonPublisher: Springer Science & Business Media
ISBN: 3540439285
Category : Business & Economics
Languages : en
Pages : 636
Book Description
This book constitutes the refereed proceedings of the international symposium Formal Methods Europe, FME 2002, held in Copenhagen, Denmark, in July 2002. The 31 revised full papers presented together with three invited contributions were carefully reviewed and selected from 95 submissions. All current aspects of formal methods are addressed, from foundational and methodological issues to advanced application in various fields.
Term Rewriting and Applications
Author: Jürgen GieslPublisher: Springer Science & Business Media
ISBN: 3540255966
Category : Computers
Languages : en
Pages : 528
Book Description
This book constitutes the refereed proceedings of the 16th International Conference on Rewriting Techniques and Applications, RTA 2005, held in Nara, Japan in April 2005. The 29 revised full papers and 2 systems description papers presented together with 5 invited articles were carefully reviewed and selected from 79 submissions. All current issues in Rewriting are addressed, ranging from foundational and methodological issues to applications in various contexts; due to the fact that the first RTA conference was held 20 years ago, the conference offered 3 invited historical papers 2 of which are included in this proceedings.