Partial Evaluation and Mixed Computation: Proceedings of the Ifip Tc2 Workshop on Partial Evaluation and Mixed Computation Gammel Avernaes,. This item is unavailable.
Language: English
Published by Elsevier Science Ltd, 1988
- Hardcover
- Used

Seller: Ammareal, Morangis, FranceAmmareal
5-star seller
AbeBooks seller since August 29, 2016
Unavailable
Hardcover
Condition: Used - Fine
US$ 4.11
Item description from seller
Ancien livre de bibliothèque. Couverture différente. Edition 1988. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 1988. Ammareal gives back up to 15% of this item's net price to charity organizations.
Seller Inventory # E-570-049
- Title
- Partial Evaluation and Mixed Computation: Proceedings of the Ifip Tc2 Workshop on Partial Evaluation and Mixed Computation Gammel Avernaes,
- Author
- Dines Bjorner, A. P. Ershov et N.D. Jones
- Publisher
- Elsevier Science Ltd
- Publication year
- 1988
- Condition
- Très bon
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 0444704914
- ISBN 13
- 9780444704917
The aim of Partial Evaluation and Mixed Computation is to construct, when given a program and some form of restriction on its usage (e.g. knowledge of some but not all of its input parameter values), a more efficient new or residual'' program that is equivalent to the original program when used according to the restriction. Compiling and compiler generation are just two of the many applications. It is thus a form of program transformation, but with more emphasis on purely automatic methods than traditional program transformation. This volume collects a variety of examples of current work in the field. The papers demonstrate the vitality of this emerging area with contributions covering many different aspects, such as programming languages, application areas, degrees of automation, degrees of formality, and technical methods.
"Synopsis" may belong to another edition of this title.