Christian Queinnec  Home/Search
Context Related
| spi.lip6.fr/~queinnec/WWW/....vts.ps.gz youpou.lip6.fr/queinnec/WWW...vts.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: spi.lip6.fr/~queinn...allQueinnec (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A new program transformation is presented that allows to remove control operators related to partial continuations. The basis for the transformation is to adopt an improved representation for continuations that makes frames apparent. Various examples of control operators with or without dynamic extent stress are presented. Scheme [IEE91], offers first-class continuations with indefinite extent. Pioneered in [Lan65, Rey72], continuations proved to be very useful tools allowing to program a wide ... (Update)
Context of citations to this paper: More
.... Continuation Passing Style (ACPS) FWFD88] Abstract continuations were invented to denote elaborate control operators [FWFD88, Que92b, QD93]. Despite the rich underlying theory, we only use the fact that ACPS represents continuations by lists of frames. Each frame waits...
...of the reduction system. This technique, named Abstract Continuation Passing Style, was also used by the second author to define splitter [14]. Although such an approach is also possible here, we have adopted Danvy and Filinski s technique [3] to exploit the expressive power of...
Cited by: More
Trampolined Style - Ganz, Friedman, Wand (1999) (Correct)
Partial Continuations as the Difference of Continuations A.. - Moreau, Queinnec (1994) (Correct)
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: Continuation Sensitive Compilation - Queinnec (Correct)
0.3: Design of a Concurrent and Distributed Language - Queinnec, De Roure (1992) (Correct)
Similar documents based on text: More All
0.4: Final Shift for Call/cc: Direct Implementation of Shift and.. - Gasbichler, Sperber (2002) (Correct)
0.1: On Evaluation Contexts, Continuations, and the Rest of Computation - Danvy (Correct)
0.1: A Dynamic Extent Control Operator for Partial Continuations - Queinnec, Serpette (1991) (Correct)
Related documents from co-citation: More All
3: Abstract continuations: A mathematical semantics for handling full functional ju.. (context) - Felleisen, Wand et al. - 1988
2: Definitional interpreters for higher-order programming languages (context) - Reynolds - 1972
2: Back to direct style II: First-class continuations - Danvy, Lawall
BibTeX entry: (Update)
Christian Queinnec. Value transforming style. In M Billaud, P Cast'eran, MM Corsini, K Musumbu, and A Rauzy, editors, WSA '92---Workshop on Static Analysis, number 81-82 in Revue Bigre+Globule, pages 20--28, Bordeaux (France), September 1992. http://citeseer.ist.psu.edu/queinnec92value.html More
@inproceedings{ queinnec92value,
author = "Christian Queinnec",
title = "Value Transforming Style",
booktitle = "{WSA} '92---Workshop on Static Analysis",
number = "81-82",
address = "Bordeaux (France)",
editor = "M Billaud and P Cast{\'e}ran and MM Corsini and K Musumbu and A Rauzy",
pages = "20--28",
year = "1992",
url = "citeseer.ist.psu.edu/queinnec92value.html" }
Citations (may not include all citations):184 Definitional interpreters for higher order programming langu.. (context) - Reynolds - 1972
106 Essentials of Programming Languages (context) - Friedman, Wand et al. - 1992
86 A Correspondence between algol 60 and Church's Lambda-notati.. (context) - Landin - 1965
66 Abstracting control - Danvy, Filinski - 1990
57 Continuation-based multiprocessing - Wand - 1980
54 The mystery of the tower revealed: a non-reflective descript.. (context) - Wand - 1986
37 Back to direct style II: First-class continuations - Danvy, Lawall - 1992
35 Continuations and concurrency (context) - Hieb, Dybvig - 1990
35 Abstract continuations: a mathematical semantics for handlin.. (context) - Felleisen, Wand et al. - 1988
32 Speculative computation in MultiLisp (context) - Osborne - 1990
24 A Dynamic Extent Control Operator for Partial Continuations - Queinnec, Serpette - 1991
15 Engines build process abstractions (context) - Haynes, Friedman - 1984
15 Continuations and coroutines (context) - Haynes, Friedman et al. - 1984
6 A concurrent and distributed extension to scheme (context) - Queinnec - 1992
4 Reasoning about continuation-passing style programs (context) - Sabry, Felleisen - 1992
Documents on the same site (http://spi.lip6.fr/~queinnec/WWW/allQueinnec.html): More
Non-speculative and Upward Invocation of Continuations in a.. - Moreau (1995) (Correct)
Compilation of non-linear, second order patterns on S-expressions - Queinnec (1990) (Correct)
Continuation Conscious Compilation - Queinnec (1993) (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