Olivier Danvy  Home/Search
Context Related
| daimi.au.dk/~danvy/Paper...3steps.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: daimi.au.dk/~danvy/research (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Transforming a #-term into continuation-passing style (CPS) might seem mystical at first, but in fact it can be characterized by three separate aspects: . The values of all intermediate applications are given a name. . The evaluation of these applications is sequentialized based on a traversal of their syntax tree. This traversal mimics the reduction strategy. . The resulting term is equipped with a continuation --- a #-abstraction whose application to intermediate values yields the final ... (Update)
Context of citations to this paper: More
.... 9, 31] This staging and the account of administrative reductions prior to introducing continuations have been recently noted [5, 6, 13, 21, 36]. Typically, CPS transformations are factored into three distinct steps: 1. naming intermediate values (captured by E) 2. flattening...
...transformation, its inverse, reductions on call by value terms, and reductions on CPS terms. 57 In subsequent work, Danvy and Lawall [19, 57] recognize that the CPS transformation can be staged in a number of independent steps. Their staging is similar to ours; their first...
Cited by: More
Mechanically Verifying Correctness of CPS Compilation - Tian (2006) (Correct)
Back to Direct Style - Olivier Danvy Department (1992) (Correct)
Separating Stages in the Continuation-Passing Style.. - Lawall, Danvy (1993) (Correct)
Active bibliography (related documents): More All
0.2: Back to Direct Style II: First-Class Continuations - Danvy, Lawall (1992) (Correct)
0.1: A Library of High Level Control Operators - Queinnec (1993) (Correct)
0.1: A Generic Account of Continuation-Passing Styles - Hatcliff, Danvy (1994) (Correct)
Similar documents based on text: More All
0.1: A Computational Formalization for Partial Evaluation - Hatcliff, Danvy (1997) (Correct)
0.1: Sound Specialization in the Presence of Computational Effects - Lawall, Thiemann (1997) (Correct)
0.1: Thunks (continued) - Danvy, Hatcliff (1992) (Correct)
Related documents from co-citation: More All
13: Reasoning about programs in continuation-passing style - Sabry, Felleisen
12: Definitional interpreters for higher-order programming languages (context) - Reynolds - 1972
9: Compiling with Continuations (context) - Appel - 1992
BibTeX entry: (Update)
Olivier Danvy. Three steps for the CPS transformation. Technical Report CIS-92-2, Kansas State University, Manhattan, Kansas, December 1991. http://citeseer.ist.psu.edu/danvy91three.html More
@misc{ danvy91three,
author = "O. Danvy",
title = "Three steps for the CPS transformation",
text = "Olivier Danvy. Three steps for the CPS transformation. Technical Report
CIS-92-2, Kansas State University, Manhattan, Kansas, December 1991.",
year = "1991",
url = "citeseer.ist.psu.edu/danvy91three.html" }
Citations (may not include all citations):521 Compiling with Continuations (context) - Appel - 1992
254 Revised 4 report on the algorithmic language Scheme - Clinger, Rees - 1991
184 Definitional interpreters for higher-order programming langu.. (context) - Reynolds - 1972
106 Essentials of Programming Languages (context) - Friedman, Wand et al. - 1991
71 Lambda calculus schemata - Fischer - 1972
66 Abstracting control - Danvy, Filinski - 1990
41 An evaluation semantics for classical proofs (context) - Murthy - 1991
40 Deriving target code as a representation of continuation sem.. (context) - Wand - 1982
35 Two-level semantics and code generation (context) - Nielson, Nielson - 1988
28 Linear continuations - Filinski - 1992
20 Back to direct style - Danvy - 1992
20 A scheme for a higher-level semantic algebra (context) - Clinger, Friedman et al. - 1985
16 call-by-value and the #-calculus (context) - Plotkin - 1975
6 a study of the CPS transformation (context) - Danvy, Filinski - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.daimi.au.dk/~danvy/research.html):
On some Functional Aspects of Control - Danvy (1988) (Correct)
A Functional Abstraction of Typed Contexts - Danvy, Filinski (1989) (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