Julia L. Lawall, Olivier Danvy  Home/Search
Context Related
| daimi.aau.dk/pub/e...danvypopl93.ps.gz brandeis.edu/~jll/...danvypopl93.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: brics.dk/~danvy/research (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The continuation-passing style (CPS) transformation is powerful but complex. Our thesis is that this transformation is in fact compound, and we set out to stage it. We factor the CPS transformation into several steps, separating aspects in each step: 1. Intermediate values are named. 2. Continuations are introduced. 3. Sequencing order is decided and administrative reductions are performed. Step 1 determines the evaluation order (e.g., call-by-name or call-by-value). Step 2 isolates the... (Update)
Context of citations to this paper: More
.... Theorem 6) Finally, Lawall and Danvy investigate staging the call by value CPS transformation into conceptually different passes elsewhere [17]. 17 7 Conclusion We have connected the traditional thunk based simulation T of call by name under call by value and Plotkin s...
Cited by: More
The Occurrence of Continuation Parameters in CPS Terms - Danvy, Pfenning (1995) (Correct)
Semantics-based Program Analysis via Symbolic Composition of.. - Colby (1996) (Correct)
Back to Direct Style - Olivier Danvy Department (1992) (Correct)
Active bibliography (related documents): More All
1.6: Separating Stages in the Continuation-Passing Style.. - Lawall, Danvy (1993) (Correct)
0.7: Partial Evaluation: Principles and Perspectives - Consel, Danvy (1993) (Correct)
0.4: Back to Direct Style II: First-Class Continuations - Danvy, Lawall (1992) (Correct)
Similar documents based on text: More All
0.5: Continuation-Based Partial Evaluation - Julia Lawall Computer (1993) (Correct)
0.5: THEORETICAL PEARLS - CPS in Little Pieces: Composing Partial.. - Friedman, Sabry (1993) (Correct)
0.2: On Evaluation Contexts, Continuations, and the Rest of Computation - Danvy (Correct)
Related documents from co-citation: More All
13: Theoretical Computer Science (context) - Plotkin, call-by-value et al. - 1975
12: Reasoning about programs in continuation-passing style - Sabry, Felleisen
11: Compiling with Continuations (context) - Appel - 1992
BibTeX entry: (Update)
Julia L. Lawall and Olivier Danvy. Separating stages in the continuation-passing style transformation. In Susan L. Graham, editor, Proceedings of the Twentieth Annual ACM Symposium on Principles of Programming Languages, pages 124--136, Charleston, South Carolina, January 1993. ACM Press. http://citeseer.ist.psu.edu/article/lawall93separating.html More
@inproceedings{ lawall93separating,
author = "Julia L. Lawall and Olivier Danvy",
title = "Separating Stages in the Continuation-Passing Style Transformation",
booktitle = "Conference Record of the Twentieth Annual {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages",
address = "Charleston, South Carolina",
pages = "124--136",
year = "1993",
url = "citeseer.ist.psu.edu/article/lawall93separating.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
521 Compiling with Continuations (context) - Appel - 1992
346 Denotational Semantics: The ScottStrachey Approach to Progra.. (context) - Stoy - 1977
293 The essence of functional programming - Wadler - 1992
291 Computational lambda-calculus and monads - Moggi - 1989
283 Theoretical Computer Science (context) - Plotkin, call-by-value et al. - 1975
254 Revised 4 report on the algorithmic language Scheme - Clinger, Rees - 1991
184 Definitional interpreters for higherorder programming langua.. (context) - Reynolds - 1972
158 Reasoning about programs in continuation-passing style - Sabry, Felleisen
138 The revised report on the syntactic theories of sequential c.. - Felleisen, Hieb - 1992
110 A formulae-as-types notion of control - Griffin - 1990
106 Essentials of Programming Languages (context) - Friedman, Wand et al. - 1991
96 Automatic autoprojection of recursive equations with global .. - Bondorf, Danvy - 1991
76 a better support of static data flow - Consel, Danvy
71 Lambda calculus schemata - Fischer - 1972
70 Mathematical Structures in Computer Science (context) - Danvy, Filinski et al. - 1992
61 Control-Flow Analysis of Higher-Order Languages or Taming La.. - Shivers - 1991
61 Continuations: A mathematical semantics for handling full ju.. (context) - Strachey, Wadsworth - 1974
56 The interprocedural analysis and automatic parallelization o.. (context) - William - 1989
50 Artificial Intelligence Laboratory (context) - Jr, for et al. - 1978
41 An evaluation semantics for classical proofs (context) - Murthy - 1991
40 A denotational framework for data flow analysis (context) - Nielson - 1982
39 Improving binding times without explicit CPS-conversion (context) - Bondorf
37 Back to direct style II: First-class continuations - Danvy, Lawall
32 Declarative continuations: An investigation of duality in pr.. (context) - Filinski - 1989
31 Galois connections and computer science applications (context) - Melton, Schmidt et al. - 1986
23 Theoretical Computer Science (context) - Stoughton - 1988
20 Back to direct style - Danvy - 1992
13 Three steps for the CPS transformation - Danvy - 1991
13 Syntactic detection of single-threading using continuations - Fradet
12 ACM Conference on Lisp and Functional Programming (context) - the - 1992
6 Oregon Graduate Institute (context) - Consel, Schism' - 1992
5 Some thoughts towards the design of an ideal language (context) - Jones, Muchnick - 1976
3 Predicting properties of residual programs (context) - Malmkjaer - 1992
3 On static properties of specialized programs (context) - Malmkjaer - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.brics.dk/~danvy/research.html): More
CPS Transformation after Strictness Analysis - Danvy, Hatcliff (1993) (Correct)
Back to Direct Style II: First-Class Continuations - Danvy, Lawall (1995) (Correct)
The Occurrence of Continuation Parameters in CPS Terms - Danvy, Pfenning (1995) (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