Partial Evaluation and Mixed Computation: Proceedings of the Ifip Tc2 Workshop on Partial Evaluation and Mixed Computation Gammel Avernaes, Denmark, - Couverture rigide

 
9780444704917: Partial Evaluation and Mixed Computation: Proceedings of the Ifip Tc2 Workshop on Partial Evaluation and Mixed Computation Gammel Avernaes, Denmark,
Couverture rigide
ISBN 10 : 0444704914 ISBN 13 : 9780444704917
Editeur : Elsevier Science Ltd, 1988

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Elsevier Science Ltd
Date d'édition
1988
Langue
anglais
ISBN 10 
0444704914
ISBN 13 
9780444704917
Reliure
Relié
Nombre de pages
658
Éditeur
Bjorner Dines, Ershov A. P., Jones N.D.
Coordonnées du fabricant
non disponible
Personne responsable
non disponible