(Enter summary)
Abstract: This paper presents a compilation technique for Scheme-like languages where functions may look at
their continuation before pushing frames onto it. This allows for some optimizations when the frame to
be pushed and the frame on top of the continuation can be combined into a single and simplified frame.
Among possible simplifications are: intermediate data structure elimination and removal of redundant
calculations. Functions can therefore be compiled with respect to their near future and... (Update)
Similar documents (at the sentence level):
17.5%: Continuation Conscious Compilation - Queinnec (1993)
(Correct)
Active bibliography (related documents): More All
0.7: A Library of High Level Control Operators - Queinnec (1993)
(Correct)
0.5: Value Transforming Style - Queinnec (1992)
(Correct)
0.4: Design of a Concurrent and Distributed Language - Queinnec, De Roure (1992)
(Correct)
Similar documents based on text: More All
0.1: Bigloo User's Manual - Serrano (1994)
(Correct)
0.0: Literate programming from Scheme to TEX - Queinnec (1998)
(Correct)
0.0: Modules, Macros and Lisp - Queinnec, Padget (1991)
(Correct)
BibTeX entry: (Update)
@techreport{ queinnec92continuation,
author = "Christian Queinnec",
title = "Continuation Sensitive Compilation",
number = "LIX RR 92/14",
address = "91128 Palaiseau Cedex, France",
year = "1992",
url = "citeseer.ist.psu.edu/315684.html" }
Citations (may not include all citations):
521
Compiling with continuations (context) - Appel - 1992
324
Deforestation: Transforming programs to eliminate trees
- Wadler - 1988
184
Definitional interpreters for higher order programming langu.. (context) - Reynolds - 1972
138
The revised report on the syntactic theories of sequential c..
- Felleisen, Hieb - 1989
111
Common lisp object system specification (context) - Bobrow, DeMichiel et al. - 1988
109
The Implementation of Functional Programming Languages (context) - Peyton-Jones - 1987
106
Essentials of Programming Languages (context) - Friedman, Wand et al. - 1992
76
a better support of static data flow
- Consel, Danvy - 1991
47
Continuation-based program transformation strategies (context) - Wand - 1980
37
Back to direct style II: First-class continuations
- Danvy, Lawall - 1992
35
Abstract continuations: a mathematical semantics for handlin.. (context) - Felleisen, Wand et al. - 1988
31
University of Copenhagen (context) - Bondorf, system et al. - 1991
24
A Dynamic Extent Control Operator for Partial Continuations
- Queinnec, Serpette - 1991
16
Safe fusion of functional expressions (context) - Chin - 1992
6
A concurrent and distributed extension to scheme (context) - Queinnec - 1992
5
Laboratoire d'Informatique de l' ' Ecole Polytechnique (context) - Queinnec, style et al. - 1992
4
Reasoning about continuation-passing style programs (context) - Sabry, Felleisen - 1992
3
Recursion is more efficient than iteration (context) - Saint-James - 1984
3
ese d"etat, Universit (context) - Saint-James, comme et al. - 1987
3
ese d"etat, Universit (context) - Greussay, d'efinition et al. - 1977
2
a l'ex'ecution : puissance et efficience (context) - Saint-James - 1990
Documents on the same site (http://youpou.lip6.fr/queinnec/WWW/../Papers/index.html): More
DMeroon - Overview of a Distributed Class-based.. - Queinnec (1995)
(Correct)
Distributed Computations Driven by Resource Consumption - Moreau, Queinnec (1998)
(Correct)
The Influence of Browsers on Evaluators or, Continuations to.. - Queinnec (2000)
(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