Michael Sperber, Peter Thiemann  Home/Search
Context Related
| pu.informatik.unitue...realistic.ps.gz informatik.unifreibu...realistic.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: Two key steps in the compilation of strict functional languages are the conversion of higher-order functions to data structures (clo- sures) and the transformation to tail-recursive style. We show how to perform both steps at once by applying first-order offline partial evaluation to a suitable interpreter. The resulting code is easy to transliterate to low-level C or native code. We have implemented the compilation to C; it yields a performance comparable to that of other modern Scheme-to-C... (Update)
Context of citations to this paper: More
...it with respect to known parts of its input. One particularly attractive application of partial evaluation is compilation [8, 4, 16, 22, 21]. Compilation is achieved by specializing an interpretive de nition of a programming language with respect to a program. While...
...even though only a binding time monovariant o#ine specializer was used to produce the residual program. Similarly, it is known [21, 27, 30, 31] that optimizing translators can be generated from suitable interpreters. Such techniques can also be used in self interpreters to...
Cited by: More
Imperative Program Optimization by Partial Evaluation - Debois (2004) (Correct)
Optimizing Generic Functions - Artem Alimarine And (2004) (Correct)
Efficient Generic Functional Programming - Alimarine, Smetsers (2004) (Correct)
Active bibliography (related documents): More All
0.8: Bootstrapping Higher-Order Program Transformers from.. - Sperber, Glück, Thiemann (1996) (Correct)
0.6: The Generation of a Higher-Order Online Partial Evaluator - Thiemann, Glück (1995) (Correct)
0.5: A New Means of Ensuring Termination of Deforestation - Sĝrensen (1993) (Correct)
Similar documents based on text: More All
0.3: Generation of LR Parsers by Partial Evaluation - Michael Sperber, Peter Thiemann (2000) (Correct)
0.2: Two for the Price of One: Composing Partial Evaluation and.. - Sperber, Thiemann (1997) (Correct)
0.2: Distributed Partial Evaluation - Sperber, Klaeren, Thiemann (1997) (Correct)
Related documents from co-citation: More All
5: Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
3: Two for the price of one: Composing partial evaluation and compilation - Sperber, Thiemann - 1997
3: Tutorial notes on partial evaluation (context) - Consel, Danvy - 1993
BibTeX entry: (Update)
Michael Sperber and Peter Thiemann. Realistic compilation by partial evaluation. In Conference on Programming Language Design and Implementation '96, pages 206--214, Philadelphia, May 1996. ACM. SIGPLAN Notices, 31(5). http://citeseer.ist.psu.edu/sperber96realistic.html More
@inproceedings{ sperber96realistic,
author = "M. Sperber and P. Thiemann",
title = "Realistic Compilation By Partial Evaluation",
booktitle = "{ACM} {SIGPLAN} '96 Conference on Programming Language Design and Implementation, Philadelphia, Pennsylvania, May 1996 ({SIGPLAN} Notices, vol. 31, no. 5)",
publisher = "New York:\ ACM",
pages = "206--214",
year = "1996",
url = "citeseer.ist.psu.edu/sperber96realistic.html" }
Citations (may not include all citations):638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
521 Compiling with Continuations (context) - Appel - 1992
206 Tutorial notes on partial evaluation (context) - Consel, Danvy - 1993
184 Definitional interpreters for higher-order programming (context) - Reynolds - 1972
146 The Glasgow Haskell compiler: a technical overview - Jones, Hall et al. - 1993
116 Rabbit: a compiler for Scheme (context) - Steele - 1978
112 Partial evaluation of computation process---an approach to a.. - Futamura - 1971
106 Essentials of programming languages (context) - Friedman, Wand et al. - 1992
96 Automatic autoprojection of recursive equations with global .. - Bondorf, Danvy - 1991
89 closure-passing style (context) - Appel, Jim - 1989
85 An experiment in partial evaluation: The generation of a com.. (context) - Jones, Sestoft et al. - 1985
84 Mostly parallel garbage collection - Boehm, Demers et al. - 1991
83 Automatic autoprojection of higher order recursive equations (context) - Bondorf - 1991
83 Automatic autoprojection of higher order recursive equations (context) - Bondorf
74 Replacing function parameters by global variables (context) - Sestoft
70 No assembly required: compiling Standard ML to C - Tarditi, Acharya et al. - 1990
68 Performance and Evaluation of Lisp Systems (context) - Gabriel - 1985
62 Program Analysis and Specialization for the C Programming La.. (context) - Andersen - 1994
48 Automatic online partial evaluation (context) - Weise, Conybeare et al. - 1991
39 Journal of Functional Programming (context) - Gluck, generation - 1994
38 Efficient analyses for realistic off-line partial evaluation (context) - Bondorf, Jorgensen - 1993
38 Static and dynamic semantics processing - Consel, Danvy - 1991
35 on Partial Evaluation and Mixed Computation (context) - Bjorner, Ershov et al. - 1987
31 University of Copenhagen (context) - Bondorf, Manual - 1993
29 Topics in Online Partial Evaluation (context) - Ruf - 1993
23 Separating binding times in language specifications (context) - ff
18 Generating optimizing specializers (context) - Gluck, Jorgensen - 1994
17 A compiler generator produced by a self-applicable specializ.. (context) - Romanenko
16 Arity raiser and its use in program specialization (context) - Romanenko
15 A tour of Schism (context) - Consel - 1993
13 Challenging problems in partial evaluation and mixed computa.. (context) - Jones
13 Generating transformers for deforestation and supercompilati.. - Gluck, Jorgensen - 1994
12 Bigloo user's manual - Serrano - 1994
11 Generating a compiler for a lazy language by partial evaluat.. - Jorgensen - 1992
8 Compiler generation by partial evaluation (context) - Jorgensen - 1991
7 Program tranformation with metasystem transitions (context) - Turchin - 1993
5 volume 1 of Distinguished Dissertations in Computer Science (context) - Launchbury, in - 1991
5 The generation of a higher-order online partial evaluator - Thiemann, Gluck - 1995
4 Higher-order redundancy elimination - Thiemann - 1994
4 Self-applicable C program specialization - Andersen
2 Fully lazy higher-order removal (context) - Chin
2 rd European Symposium on Programming (context) - Jones, Proc - 1990
1 Higher-order removal transformation technique for functional.. (context) - Chin, Darlington - 1992
1 Compiling scheme programs via multi-pass partial evaluation (context) - Burke, Consel - 1994
1 Lambda-lifting as an optimization for compiling scheme to C - Tammet
1 Workshop Partial Evaluation and Semantics-Based Program Mani.. (context) - Consel - 1992
1 Report YALEU/DCS/RR (context) - --
1 part of the GCC distribution (context) - Stallman, CC - 1995
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