Morten Heine Sørensen, Robert Glück, Neil D. Jones  Home/Search
Context
Related
| diku.dk/diku/semantics/pa...D190.ps.gz sop.inria.fr/oasis...ensenesop94.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: diku.dk/researchgroups/to...1994 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We study four transformation methodologies which are automatic instances of Burstall and Darlington's fold/unfold framework: partial evaluation, deforestation, supercompilation, and generalized partial computation (GPC). One can classify these and other fold/unfold based transformers by how much information they maintain during transformation. We introduce the positive supercompiler, a version of deforestation including more information propagation, to study such a classification in detail. Via ... (Update)
Similar documents (at the sentence level):
19.8%: Turchin's Supercompiler Revisited - An operational theory of.. - Sørensen (1996) (Correct)
Active bibliography (related documents): More All
1.0: Partial Deduction and Driving are Equivalent - Glück, Sørensen (1994) (Correct)
0.7: A Positive Supercompiler - Sørensen, Glück, Jones (1993) (Correct)
0.4: A Constraint-based Partial Evaluator for Functional Logic.. - Lafave (1998) (Correct)
Similar documents based on text: More All
0.8: On Perfect Supercompilation - Secher, Sørensen (1999) (Correct)
0.7: A Roadmap to Metacomputation by Supercompilation - Glück, Sørensen (1996) (Correct)
0.7: An Algorithm of Generalization in Positive Supercompilation - Sørensen, Glück (1995) (Correct)
BibTeX entry: (Update)
@misc{ rensen-towards,
author = "Morten Heine Sørensen and Robert Glück and Neil D. Jones",
title = "Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and
GPC",
url = "citeseer.ist.psu.edu/94413.html" }
Citations (may not include all citations):638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
385 A Transformation System for Developing Recursive Programs - Burstall, Darlington - 1977
347 Fast Pattern Matching in Strings (context) - Knuth, Morris et al. - 1977
343 Introduction to Metamathematics (context) - Kleene - 1952
324 Deforestation: Transforming Programs to Eliminate Trees - Wadler - 1988
206 Tutorial Notes on Partial Evaluation (context) - Consel, Danvy - 1993
59 An Overview of Miranda (context) - Turner - 1990
57 The Concept of a Supercompiler (context) - Turchin - 1986
38 Self-Applicable Partial Evaluation (context) - Bondorf - 1990
37 Occam's Razor in Metacomputation: the Notion of a Perfect Pr.. (context) - Gluck, Klimov - 1993
37 Partial Evaluation of Pattern Matching in Strings - Consel, Danvy - 1989
35 Generalized Partial Computation (context) - Futamura, Nogi - 1988
29 Automatic Call Unfolding in a Partial Evaluator (context) - Sestoft - 1988
28 Safe Fusion of Functional Expressions II: Further Improvemen.. (context) - Chin - 1994
26 Partial Evaluation of Pattern Matching in Constraint Logic P.. (context) - Smith - 1991
18 Generating Optimizing Specializers (context) - Gluck, Jorgensen - 1994
14 A Grammar-based Data-flow Analysis to Stop Deforestation (context) - Sorensen - 1994
13 Generalized Partial Computation for a Lazy Functional Langua.. (context) - Takano - 1991
10 Application of Metasystem Transition to Function Inversion a.. (context) - Gluck, Turchin - 1990
6 Compiling Lazy Pattern-Matching (context) - Augustsson - 1985
5 Glasgow Workshop on Functional Programming (context) - Ferguson, Wadler et al. - 1988
4 An Operational Theory of Positive Information Propagation (context) - Sorensen, Revisited - 1994
2 A New Means of Ensuring Termination of Deforestation with an.. (context) - Sorensen - 1993
Documents on the same site (http://www.diku.dk/research-groups/topps/bibliography/1994.html): More
Efficient Translation of External Input in a Dynamically Typed.. - Paige (1994) (Correct)
Interprocedural DataflowAnalysis via Graph Reachability - Reps, Sagiv, Horwitz (1994) (Correct)
Program Speedups in Theory and Practice - Jones (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC