Partial evaluation and mixed computation : proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, Gammel Avernæs, Denmark, 18-24 October, 1987

Author(s)

Bibliographic Information

Partial evaluation and mixed computation : proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, Gammel Avernæs, Denmark, 18-24 October, 1987

edited by Dines Bjørner, Andrei P. Ershov, Neil D. Jones

North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988

Available at  / 9 libraries

Search this Book/Journal

Note

"Organized by IFIP Technical Committee 2 Programming, International Federation for Information Processing (IFIP)"

Bibliography: p. 590-622

Includes index

Description and Table of Contents

Description

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.

Table of Contents

Two Characterizations of Partial Evaluation and Mixed Computation (A.P. Ershov, N.D. Jones). Challenging Problems in Partial Evaluation and Mixed Computation (N.D. Jones). Mixed Computation and Compiler Basis (G.J. Barzdin). Towards a Self-Applicable Partial Evaluator for Term Rewriting Systems (A. Bondorf). A Theoretical Approach to Polyvariant Mixed Computation (M.A. Bulyonkov). How Do Ad Hoc Compiler Constructs Appear in Universal Mixed Computation Processes? (M.A. Bulyonkov, A.P. Ershov). Across the Bridge Between Reflection and Partial Evaluation (O. Danvy). A Program Development Methodology Based on a Unified Approach to Execution and Transformation (J. Darlington, H. Pull). Generalized Partial Computation (Y. Futamura, K. Nogi). Function Inversion (P.G. Harrison). Language Triplets: The AMIX Approach (N.C.K. Holst). Backwards Analysis of Functional Programs (J. Hughes). An Algebra and Axiomatization System of Mixed Computation (V.E. Itkin). Automatic Program Specialization: A Re-Examination from Basic Principles (N.D. Jones). Pure Partial Evaluation and Instantiation (P. Kursawe). Projections for Specialisation (J. Launchbury). On the Essence of Mixed Computation (S.S. Lavrov). Partially Static Structures in a Self-Applicable Partial Evaluator (T. Mogensen). A Formal Type System for Comparing Partial Evaluators (F. Nielson). Implementation of Controlled Mixed Computation in System for Automatic Development of Language-Oriented Parsers (B.N. Ostrovski). Importing and Exporting Information in Program Development (A. Pettorossi, M. Proietti). The Generation of Inverse Functions in Refal (A.Y. Romanenko). A Compiler Generator Produced by a Self-Applicable Specializer Can Have a Surprisingly Natural and Understandable Structure (S.A. Romanenko). Static Properties of Partial Evaluation (D.A. Schmidt). Automatic Call Unfolding in a Partial Evaluator (P. Sestoft). Partial Evaluation, Higher-Order Abstractions, and Reflection Principles as System Building Tools (C. Talcott, R. Weyhrauch). The Algorithm of Generalization in the Supercompiler (V.F. Turchin). A Model of Language Semantics Oriented to Mixed Execution of Programs (T.I. Youganova). Experience with a Type Evaluator (J. Young, P. O'Keefe). Terminology. Annotated Bibliography. Author Index.

by "Nielsen BookData"

Details

Page Top