Loading...
Please wait, while we are loading the content...
Similar Documents
The Essence of Eta-Expansion in Partial Evaluation (1995)
| Content Provider | CiteSeerX |
|---|---|
| Author | Danvy, Olivier Palsberg, Jens Malmkjær, Karoline |
| Abstract | Selective eta-expansion is a powerful "binding-time improvement ", i.e., a source-program modification that makes a partial evaluator yield better results. But like most bindingtime improvements, the exact problem it solves and the reason why have not been formalized and are only understood by few. In this paper, we describe the problem and the effect of eta-redexes in terms of monovariant binding-time propagation: eta-redexes preserve the static data flow of a source program by interfacing static higher-order values in dynamic contexts and dynamic higher-order values in static contexts. They contribute to two distinct binding-time improvements. We present two extensions of Gomard's monovariant binding-time analysis for the pure -calculus. Our extensions annotate and eta-expand -terms. The first one eta-expands static higher-order values in dynamic contexts. The second also eta-expands dynamic higher-order values in static contexts. As a significant application, we show that our first... |
| File Format | |
| Publisher Date | 1995-01-01 |
| Access Restriction | Open |
| Subject Keyword | Partial Evaluator Yield Powerful Binding-time Improvement Static Higher-order Value Bindingtime Improvement Monovariant Binding-time Analysis Eta-redexes Preserve Significant Application Static Data Flow Distinct Binding-time Improvement Dynamic Context Eta-expands Dynamic Higher-order Value Source Program Dynamic Higher-order Value Exact Problem Eta-expands Static Higher-order Value Partial Evaluation Source-program Modification Pure Calculus Monovariant Binding-time Propagation Selective Eta-expansion Eta-expand Term Static Context |
| Content Type | Text |
