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
Mixed Computation, Dines Bjørner, A. P. Ershov, Neil Deaton Jones · Elsevier eBooks · 1988
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.