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.
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.
