Anders Bondorf, Olivier Danvy  Home/Search
Context Related
Links: DBLP | daimi.aau.dk/pub/e...danvyscp91.ps.gz sop.inria.fr/oasis...rfDanvy91SCP.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: cmu.edu/people/petel/alit (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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 unfolding, having an open-ended set of operators, and processing global variables updated by side effects. The problems of computation duplication and termination of residual programs are addressed and solved: residual programs never duplicate computations of the source program; residual programs do not terminate more often ... (Update)
Cited by: More
A Modular Implementation of Partial Evaluation - Christopher Colby Peter (1992) (Correct)
Basic Research in Computer Science - Fast Partial Evaluation (Correct)
Lambda-Lifting in Quadratic Time - Danvy, Schultz (2004) (Correct)
Active bibliography (related documents): More All
0.8: Generating a Compiler for a Lazy Language by Partial Evaluation - Jørgensen (1992) (Correct)
0.6: Static and Dynamic Semantics Processing - Consel, Danvy (1991) (Correct)
0.6: Similix 5.0 Manual - Bondorf (1993) (Correct)
Similar documents based on text: More All
0.5: Graphs as an Intermediate Representation for Partial Evaluation - Weise (1990) (Correct)
0.3: Generating Action Compilers by Partial Evaluation - Bondorf, Palsberg (1996) (Correct)
0.3: Improving CPS-Based Partial Evaluation: Writing Cogen by Hand - Bondorf, Dussart (1994) (Correct)
Related documents from co-citation: More All
58: Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
36: MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (context) - Jones, Sestoft et al. - 1989
34: Automatic autoprojection of higher-order recursive equations (context) - Bondorf - 1991
BibTeX entry: (Update)
A. Bondorf and O. Danvy, `Automatic autoprojection of recursive equations with global variables and abstract data types,' Science of Computer Programming, 16:151--195, 1991. http://citeseer.ist.psu.edu/bondorf90automatic.html More
@article{ bondorf91automatic,
author = "Anders Bondorf and Olivier Danvy",
title = "Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types",
journal = "Science of Computer Programming",
volume = "16",
number = "2",
pages = "151-195",
year = "1991",
url = "citeseer.ist.psu.edu/bondorf90automatic.html" }
Citations (may not include all citations):197 Revised report 3 on the algorithmic language Scheme - Rees, Clinger - 1986
98 MIX: a self-applicable partial evaluator for experiments in .. (context) - Jones, Sestoft et al. - 1989 DBLP
96 Automatic autoprojection of recursive equations with global .. - Bondorf, Danvy - 1990 DBLP
85 An experiment in partial evaluation: the generation of a com.. (context) - Jones, Sestoft et al. - 1985 ACM DBLP
83 Automatic autoprojection of higher order recursive equations (context) - Bondorf - 1990
83 Automatic autoprojection of higher order recursive equations (context) - Bondorf - 1991 ACM DBLP
74 Replacing function parameters by global variables (context) - Sestoft - 1989 ACM DBLP
74 Replacing Function Parameters by Global Variables (context) - Sestoft - 1988 ACM DBLP
65 Binding time analysis for higher order untyped functional la.. (context) - Consel - 1990
61 Detecting global variables in denotational specifications (context) - Schmidt - 1985 ACM DBLP
56 Projection Factorisations in Partial Evaluation (context) - Launchbury - 1989 ACM
41 Automatic program specialization: a re-examination from basi.. (context) - Jones - 1988
38 Static and dynamic semantics processing - Consel, Danvy - 1991 ACM DBLP
38 Self-Applicable Partial Evaluation (context) - Bondorf - 1990
37 Partial evaluation of pattern matching in strings - Consel, Danvy - 1989 ACM DBLP
35 New insights into partial evaluation: the SCHISM experiment (context) - Consel - 1988 DBLP
29 Automatic call unfolding in a partial evaluator (context) - Sestoft - 1988
27 Mixed computation: potential applications and problems for s.. (context) - Ershov - 1982 DBLP
26 Polyvariant mixed computation for analyzer programs (context) - Bulyonkov - 1984 DBLP
18 From interpreting to compiling binding times (context) - Consel, Danvy - 1990 ACM DBLP
17 Compiler generation by partial evaluation: a case study (context) - Gomard, Jones - 1989 DBLP
17 The structure of a self-applicable partial evaluator (context) - Sestoft - 1985 ACM DBLP
17 Syntactic Extensions in the Programming Language Lisp (context) - Kohlbecker - 1986 ACM
17 The structure of a self-applicable partial evaluator (context) - Sestoft - 1985 ACM DBLP
17 A compiler generator produced by a self-applicable specialis.. (context) - Romanenko - 1988
16 Partially static structures in a self-applicable partial eva.. (context) - AE - 1988
15 Towards a self-applicable partial evaluator for term rewriti.. (context) - Bondorf - 1988
15 A self-applicable partial evaluator for term rewriting syste.. (context) - Bondorf - 1989 ACM DBLP
14 Semantics-directed compilation of non-linear patterns - Danvy - 1990
11 Generating a pattern matching compiler by partial evaluation (context) - Jorgensen - 1990
10 Evaluation partielle et G'en'eration de compilateurs (context) - Consel - 1989
10 Binding Time Aspects of Partial Evaluation (context) - AE - 1989
10 The use of action semantics (context) - Mosses, Watt - 1986
9 A self-applicable partial evaluator for the lambda calculus (context) - Jones, Gomard et al. - 1990 ACM DBLP
9 Binding time analysis and the taming of self-application (context) - Bondorf, Jones et al. - 1988
8 A collecting interpretation of expressions (context) - Hudak, Young - 1988 ACM
8 Transactions on Programming Languages and Systems (context) - Turchin, of et al. - 1986
5 Parameter splitting in a higher order functional language (context) - Marquard, Steensgaard-Madsen - 1990
3 Compiling laziness by partial evaluation (context) - Bondorf - 1990
1 Preprocessing by specialization (context) - Malmkjaer, Danvy - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://foxnet.cs.cmu.edu/people/petel/alit.html): More
Optimizing ML with Run-Time Code Generation - Leone, Lee (1995) (Correct)
Partial Evaluation of Pattern Matching in Strings - Consel, Danvy (1989) (Correct)
Partial Evaluation: Principles and Perspectives - Consel, Danvy (1993) (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