Oliver Danvy, Andrzej Filinski  Home/Search
Context Related
Links: DBLP | indiana.edu/pub/schemerepo...rrc.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: indiana.edu/sch...oc.publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: continuations: A mathematical semantics for handling full functional jumps. In Proceedings of the 1988 ACM Conference on Lisp and Functional Programming, pages 52--62, Snowbird, Utah, July 1988. [19] Andrzej Filinski. Linear continuations. In POPL'92 [37], pages 27--38. [20] Michael J. Fischer. Lambda calculus schemata. In Proceedings of the ACM Conference on Proving Assertions about Programs, pages 104--109. SIGPLAN Notices, Vol. 7, No 1 and SIGACT News, No 14, January 1972. [21] Pascal Fradet ... (Update)
Cited by: More
Reliable Frameworks for Extensible Compilers - Jason Hickey Nathan (Correct)
From System F to Typed Assembly Language - Greg Morrisett David (1998) (Correct)
Typed Memory Management via Static Capabilities - David Walker Carnegie (2000) (Correct)
Similar documents (at the sentence level):
36.2%: Representing control: a study of the CPS transformation - Danvy, Filinski (1992) (Correct)
10.3%: Representing Control - A Study of the CPS transformation - Danvy, Filinski (1992) (Correct)
10.3%: On Static and Dynamic Control-Flow Information in Program.. - Damian (2001) (Correct)
Active bibliography (related documents): More All
0.3: On the Overhead of CPS - Danvy, Dzafic, Pfenning (1996) (Correct)
0.3: Towards Leakage Containment - Lawall, Friedman (Correct)
0.0: Back to Direct Style II: First-Class Continuations - Danvy, Lawall (1992) (Correct)
Similar documents based on text: More All
0.2: Models of Control and Their Implications for Programming Language .. - Sitaram (1994) (Correct)
0.1: Under consideration for publication in J. Functional.. - The Structure And (Correct)
0.0: Line Bundles on Rigid Analytic Spaces - Hartl (Correct)
Related documents from co-citation: More All
28: Compiling with Continuations (context) - Appel - 1992
24: Reasoning about programs in continuation-passing style - Sabry, Felleisen
18: Lambda calculus schemata - Fischer - 1972
BibTeX entry: (Update)
Olivier Danvy and Andrzej Filinski. Representing control: A study of the CPS transformation. Mathematical Structures in Computer Science, 2(4):361-- 391, December 1992. http://citeseer.ist.psu.edu/danvy92representing.html More
@article{ danvy92representing,
author = "Olivier Danvy and Andrzej Filinski",
title = "Representing Control: {A} study of the {CPS} transformation",
journal = "Mathematical Structures in Computer Science",
volume = "2",
number = "4",
pages = "361--391",
year = "1992",
url = "citeseer.ist.psu.edu/danvy92representing.html" }
Citations (may not include all citations):521 Compiling with Continuations (context) - Appel - 1992 ACM
254 Revised 4 report on the algorithmic language Scheme - Clinger, Rees - 1991
96 Automatic autoprojection of recursive equations with global .. - Bondorf, Danvy - 1991 DBLP
83 Automatic autoprojection of higher-order recursive equations (context) - Bondorf - 1991
76 a better support of static data flow - Consel, Danvy - 1991
38 Static and dynamic semantics processing - Consel, Danvy ACM DBLP
20 Back to direct style - Danvy - 1992 ACM DBLP
3 an exercise in Denotational Semantics (context) - Clinger, compiler - 1984 ACM
3 Programming with tighter control (context) - Danvy - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.indiana.edu/scheme-repository/doc.publications.html): More
A Parallel Virtual Machine for Efficient Scheme Compilation - Feeley, Miller (1990) (Correct)
Register Allocation Using Lazy Saves, Eager Restores, and .. - Burger, Waddell, Dybvig (1995) (Correct)
A Scheme Shell - Shivers (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