Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen  Home/Search
Context Related
| rice.edu/CS/PLT/Pub...pldi93fsdf.ps.gz indiana.edu/hyplan/sa...essencepldi.ps seattleu.edu/bduba/papers/pldi.ps 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: rice.edu/CS/PLT/Publications/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In order to simplify the compilation process, many compilers for higher-order languages use the continuationpassing style (CPS) transformation in a first phase to generate an intermediate representation of the source program. The salient aspect of this intermediate form is that all procedures take an argument that represents the rest of the computation (the "continuation"). Since the naĻive CPS transformation considerably increases the size of programs, CPS compilers perform reductions to... (Update)
Cited by: More
Strict Bidirectional Type Checking - Adam Chlipala Computer (Correct)
On proving syntactic properties of CPS programs - Danvy, Dzafic, Pfenning (1999) (Correct)
A Monadic Approach for Avoiding Code Duplication when .. - Swadi, Taha.. (2006) (Correct)
Similar documents (at the sentence level):
23.6%: The Formal Relationship between Direct and Continuation-Passing.. - Sabry (1994) (Correct)
18.0%: The Formal Relationship Between Direct and Continuation-Passing.. - Sabry (1994) (Correct)
Active bibliography (related documents): More All
0.2: Reasoning about Programs in Continuation-Passing Style - Sabry, Felleisen (Correct)
0.0: Separating Stages in the Continuation-Passing Style.. - Lawall, Danvy (1993) (Correct)
0.0: Sound Specialization in the Presence of Computational Effects - Lawall, Thiemann (1997) (Correct)
Similar documents based on text: More All
0.1: A Reflection on Call-by-Value - Sabry, Wadler (1996) (Correct)
Related documents from co-citation: More All
65: Compiling with Continuations (context) - Appel - 1992
29: ORBIT: An Optimizing Compiler for Scheme (context) - Kranz - 1988
27: Reasoning about programs in continuation-passing style - Sabry, Felleisen
BibTeX entry: (Update)
Cormac Flanagan, Amr Sabry, Bruce F. Duba, and Matthias Felleisen. The essence of compiling with continuations. In PLDI '93 [36], pages 237--247. http://citeseer.ist.psu.edu/flanagan93essence.html More
@incollection{ flanagan93essence,
author = "Cormac Flanagan and Amr Sabry and Bruce F. Duba and Matthias Felleisen",
title = "The Essence of Compiling with Continuations",
booktitle = "Proceedings {ACM} {SIGPLAN} 1993 Conf.\ on Programming Language Design and Implementation, {PLDI}'93, Albuquerque, {NM}, {USA}, 23--25 June 1993",
volume = "28(6)",
publisher = "ACM Press",
address = "New York",
pages = "237--247",
year = "1993",
url = "citeseer.ist.psu.edu/flanagan93essence.html" }
Citations (may not include all citations):1399 Compilers---Principles (context) - Aho, Sethi et al. - 1985
729 The Lambda Calculus: Its Syntax and Semantics (context) - Barendregt - 1984
521 Compiling with Continuations (context) - Appel - 1992
39 Improving binding times without explicit CPS-conversion (context) - Bondorf - 1992
28 The Scheme 311 compiler: An exercise in denotational semanti.. (context) - Clinger - 1984
20 Back to direct style - Danvy - 1992
4 Implementing Russel (context) - Boehm, Demers - 1986
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.rice.edu/CS/PLT/Publications/): More
Synthesizing Object-Oriented and Functional Design.. - Krishnamurthi.. (1998) (Correct)
Reasoning about Explicit and Implicit Representations of State - Sabry, Field (1993) (Correct)
A Practical Soft Type System for Scheme - Wright, Cartwright (1994) (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