Michael Sperber, Peter Thiemann  Home/Search
Context Related
Links: DBLP | pu.informatik.unituebi...compose.ps.gz informatik.unifreiburg...compose.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: pu.informatik.unituebingen.de... (more) From: informatik.unifreiburg.de/~th... (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformation for high-level languages, whereas realistic compilers produce object code. We close this gap by composing a partial evaluator with a compiler by automatic means. Our work is a successful application of several meta-computation techniques to build the system, both in theory and in practice. The composition is an... (Update)
Context of citations to this paper: More
.... also for the construction of compilers and compiler generators from interpreters[10, 14] It is also applied to runtime code generation[9, 17]. Specialization is different from normal execution in that it involves expressions whose value is unknown at specialization time....
...directed partial evaluation with a compiler into OCaml byte code. Deforestation is a standard improvement in run time code generation [6, 19, 26]. As such, it removes the need to manipulate the text of residual programs at specialization time. As a result, instead of generating...
Cited by: More
Binding-Time Analysis for Both Static and Dynamic Expressions - Asai (1999) (Correct)
Architecture Design and Compilation Techniques Using Partial.. - Masuhara (1999) (Correct)
Strong Normalization by Type-Directed Partial Evaluation and.. - Balat, Danvy (1997) (Correct)
Active bibliography (related documents): More All
0.6: Distributed Partial Evaluation - Sperber, Klaeren, Thiemann (1997) (Correct)
0.5: A Computational Formalization for Partial Evaluation - Hatcliff, Danvy (1997) (Correct)
0.5: Mix Ten Years Later - Jones (1995) (Correct)
Similar documents based on text: More All
0.4: The PGG System: User Manual - Thiemann (2000) (Correct)
0.2: Generation of LR Parsers by Partial Evaluation - Michael Sperber, Peter Thiemann (2000) (Correct)
0.2: Realistic Compilation by Partial Evaluation - Sperber, Thiemann (1996) (Correct)
Related documents from co-citation: More All
15: Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
8: Type-directed partial evaluation - Danvy
8: Tutorial notes on partial evaluation (context) - Consel, Danvy - 1993
BibTeX entry: (Update)
M. Sperber and T. Thiemann. Two for the price of one: Composing partial evaluation and compilation. In Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation, pages 215--224, Las Vegas, Nevada, June 15--18, 1997. http://citeseer.ist.psu.edu/sperber97two.html More
@inproceedings{ sperber97two,
author = "Michael Sperber and Peter Thiemann",
title = "Two for the Price of One: Composing Partial Evaluation and Compilation",
booktitle = "{SIGPLAN} Conference on Programming Language Design and Implementation",
pages = "215-225",
year = "1997",
url = "citeseer.ist.psu.edu/sperber97two.html" }
Citations (may not include all citations):638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993 ACM
521 Compiling with Continuations (context) - Appel - 1992 ACM
324 Deforestation: Transforming programs to eliminate trees - Wadler - 1990 ACM DBLP
220 Orbit: An optimizing compiler for Scheme (context) - Kranz, Kelsey et al. - 1986 ACM DBLP
206 Tutorial notes on partial evaluation (context) - Consel, Danvy - 1993 ACM DBLP
161 A short cut to deforestation - Gill, Launchbury et al. - 1993 ACM DBLP
155 The essence of compiling with continuations - Flanagan, Sabry et al. - 1993 ACM DBLP
132 A general approach for run-time specialization and its appli.. - Consel, cois ACM DBLP
123 Optimizing ML with runtime code generation - Lee, Leone
122 Type-directed partial evaluation - Danvy ACM DBLP
116 Rabbit: a compiler for Scheme (context) - Steele - 1978 ACM
112 Partial evaluation of computation process---an approach to a.. - Futamura - 1971
79 Shortcut deforestation in calculational form - Takano, Meijer ACM DBLP
76 a better support of static data flow - Consel, Danvy
76 A uniform approach for compile-time and run-time specializat.. - Consel, Hornof et al. ACM DBLP
53 Realistic compilation by program transformation - Kelsey, Hudak - 1989 DBLP
52 Functional programming with bananas (context) - Meijer, Fokkinga et al.
44 Lightweight run-time code generation - Leone, Lee - 1994 DBLP
43 A tractable Scheme implementation - Kelsey, Rees - 1995 ACM DBLP
41 Continuation-based partial evaluation - Lawall, Danvy - 1994 ACM DBLP
41 Homomorphisms and promotability (context) - Malcolm - 1989 ACM DBLP
39 Improving binding-times without explicit CPS conversion (context) - Bondorf - 1992
37 A generic account of continuation-passing styles - Hatcliff, Danvy - 1994 ACM DBLP
34 A case for runtime code generation (context) - Keppel, Eggers et al. - 1991
34 Lambda lifting: Transforming programs to recursive equations - Johnsson - 1985 ACM
31 University of Copenhagen (context) - Bondorf, Manual - 1993
31 retargetable dynamic code generation system (context) - Engler, Proebsting et al. - 1994
27 Efficient multilevel generating extensions for program speci.. - Gluck, Jorgensen
26 Cogen in six lines - Thiemann ACM DBLP
25 Warm fusion: Deriving build-cata's from recursive definition.. (context) - Launchbury, Sheard DBLP
23 A reflection on call-byvalue - Sabry, Wadler
22 Partial evaluation for higher-order languages with state - Dussart, Thiemann - 1996
21 Columbia University (context) - Espinosa, PhD - 1995
19 Higher order deforestation - Hamilton ACM DBLP
17 Handwriting cogen to avoid problems with static typing (context) - Launchbury, Holst - 1991
17 Semantics-based compiling: A case study in type-directed par.. - Danvy, Vestergaard - 1996 DBLP
16 Safe fusion of functional expressions (context) - Chin - 1992 ACM DBLP
14 Towards unifying partial evaluation (context) - Sorensen, Gluck et al. - 1994
13 Pragmatics of type-directed partial evaluation (context) - Danvy ACM DBLP
13 Callby -name CPS-translation as a binding-time improvement - Nielsen, Sorensen - 1995
11 A supercompiler system based on the language Refal (context) - Turchin - 1979 ACM
10 Implementing memoization for partial evaluation - Thiemann ACM DBLP
7 Integer constraints to stop deforestation - Seidl - 1994 ACM DBLP
6 Compiler generation for interactive graphics using intermedi.. - Draves ACM DBLP
6 Efficient Implementation of Fundamental Operating System Ser.. (context) - Massalin - 1992
6 A grammar-based data-flow analysis to stop deforestation - Sorensen - 1994
5 Safe fusion of functional expressions II: Further improvemen.. (context) - Chin - 1994
4 Berichte des Wilhelm-SchickardInstituts WSI (context) - Dussart, Thiemann et al. - 1996
4 A Methodology for Software Development (context) - Schmidt - 1986
3 Dagstuhl Seminar on Partial Evaluation (context) - Danvy, Gluck et al. - 1996
3 Language triplets: The AMIX approach (context) - Holst - 1988
2 July--September (context) - report, algorithmic et al. - 1991
2 and What They Will Probably Never Do (context) - Tofte, What et al. - 1990
1 the Seventh Programming Language Implementation and Logic Pr.. (context) - of - 1995
1 Programming Language Implementation and Logic Programming (context) - Kuchen, Swierstra - 1996 ACM
1 ACM Functional Programming Languages and Computer Architectu.. (context) - Proc - 1991
1 Opimizing dynamicallydispatched calls with run-time type fee.. (context) - Holzle, Ungar - 1994
1 and evaluation orders (context) - Nielsen, Sorensen et al.
1 Functional Programming Languages and Computer Architecture (context) - Jones - 1995 ACM
1 Trade-offs for bitmap graphics on the Blit (context) - Pike, Locanthi et al. - 1985
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-pu.informatik.uni-tuebingen.de/users/thiemann/papers/): More
Polyvariant Expansion and Compiler Generators - Thiemann, Sperber (1996) (Correct)
Towards Partial Evaluation of Full Scheme - Thiemann (1996) (Correct)
Bootstrapping Higher-Order Program Transformers from.. - Sperber, Glück, Thiemann (1996) (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