An introduction to partial evaluation
ND Jones - ACM Computing Surveys (CSUR), 1996 - dl.acm.org
Partial evaluation provides a unifying paradigm for a broad spectrum of work in program
optimization compiling interpretation and the generation of automatic program generators …
optimization compiling interpretation and the generation of automatic program generators …
[图书][B] Partial evaluation and automatic program generation
Partial evaluation reconciles generality with efficiency by providing automatic specialization
and optimization of programs. Proceeding from a gentle introduction for reaching state-of-the …
and optimization of programs. Proceeding from a gentle introduction for reaching state-of-the …
Tutorial notes on partial evaluation
Tutorial notes on partial evaluation Page 1 Tutorial Notes on Partial Evaluation Charles Consel
Olivier Danvy Pacific Software Research Center Department of Computing and Info. Sciences …
Olivier Danvy Pacific Software Research Center Department of Computing and Info. Sciences …
Cache behavior prediction by abstract interpretation
M Alt, C Ferdinand, F Martin, R Wilhelm - Static Analysis: Third …, 1996 - Springer
Abstract Interpretation is a technique for the static analysis of dynamic properties of
programs. It is semantics based, that is, it computes approximative properties of the …
programs. It is semantics based, that is, it computes approximative properties of the …
A positive supercompiler
We introduce a positive supercompiler, a version of Turchin's supercompiler maintaining
only positive information during transformation, and using folding without generalization …
only positive information during transformation, and using folding without generalization …
Optimizing data structures in high-level programs: New directions for extensible compilers based on staging
High level data structures are a cornerstone of modern programming and at the same time
stand in the way of compiler optimizations. In order to reason about user-or library-defined …
stand in the way of compiler optimizations. In order to reason about user-or library-defined …
Essence of generalized partial computation
Y Futamura, K Nogi, A Takano - Theoretical Computer Science, 1991 - Elsevier
Generalized partial computation (GPC) is a program optimization principle based on partial
computation and theorem proving. Conventional partial computation methods (or partial …
computation and theorem proving. Conventional partial computation methods (or partial …
A partial evaluator for the untyped lambda-calculus
CK Gomard, ND Jones - Journal of functional programming, 1991 - cambridge.org
This article describes theoretical and practical aspects of an implemented self-applicable
partial evaluator for the untyped lambda-calculus with constants and a fixed point operator …
partial evaluator for the untyped lambda-calculus with constants and a fixed point operator …
Automatic autoprojection of recursive equations with global variables and abstract data types
A Bondorf, O Danvy - Science of computer programming, 1991 - Elsevier
Self-applicable partial evaluation has been implemented for half a decade now, but many
problems remain open. This paper addresses and solves the problems of automating call …
problems remain open. This paper addresses and solves the problems of automating call …
The essence of program transformation by partial evaluation and driving
ND Jones - Logic, Language and Computation: Festschrift in Honor …, 2005 - Springer
An abstract framework is developed to describe program transformation by specializing a
given program to a restricted set of inputs. Particular cases include partial evaluation [19] …
given program to a restricted set of inputs. Particular cases include partial evaluation [19] …