Josh Berdine, Peter O'Hearn, Hayo Thielecke  Home/Search
Context
Related
| dcs.qmul.ac.uk/~berdine...ExtRCAT.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: dcs.qmw.ac.uk/~berdine (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Increasing degrees of reasoning about programs are being mechanized, and hence more formality is needed. Here we present an instance of this formalization in the form of a precise characterization of the range of the cps transformation using an ane type system. The point is that the range of cps is defined with a type system, that is, in a way quite accessible to tools. (Update)
Active bibliography (related documents): More All
0.4: Linear Continuation-Passing - Berdine, O'Hearn, Reddy, Thielecke (2002) (Correct)
0.4: About Translations of Classical Logic into Polarized Linear.. - Laurent, Regnier (Correct)
0.3: CPS Transformation of Flow Information - Palsberg, Wand (2001) (Correct)
Similar documents based on text: More All
0.8: Linearly Used Continuations - Berdine, O'Hearn (2001) (Correct)
0.5: On Affine Typing and Completeness of CPS - Berdine, O'Hearn, Thielecke (2001) (Correct)
0.4: Proceedings of the Third ACM SIGPLAN Workshop on Continuations .. - Sabry, (ed.) (2001) (Correct)
BibTeX entry: (Update)
@misc{ berdine-extracting,
author = "Josh Berdine and Peter O'Hearn and Hayo Thielecke",
title = "Extracting the Range of cps from Affine Typing",
url = "citeseer.ist.psu.edu/529579.html" }
Citations (may not include all citations):176 Control-Flow Analysis of Higher-Order Languages (context) - Shivers - 1991
158 Reasoning about programs in continuation-passing style - Sabry, Felleisen - 1993
71 Lambda calculus schemata - Fischer - 1972
55 call-by-value and the -calculus (context) - Plotkin - 1975
23 Representing control in the presence of one-shot continuatio.. - Bruggeman, Waddell et al. - 1996
23 Properties of terms in continuation-passing style in an orde.. - Polakow, Pfenning - 2000
17 LISP and Symbolic Computation (context) - Fischer - 1993
12 Higher-Order and Symbolic Computation (context) - Berdine, O'Hearn et al.
5 Journal of Functional Programming (context) - Benton, Kennedy - 2001
3 Is continuation passing useful for data- ow analysis (context) - Sabry, Felleisen - 1994
3 A game semantics of linearly used continuations - Laird - 2002
1 Formalizing implementation strategies for rst-class continua.. (context) - Danvy - 2000
Documents on the same site (http://www.dcs.qmw.ac.uk/~berdine): More
Linearly Used Continuations - Berdine, O'Hearn (2001) (Correct)
On Affine Typing and Completeness of CPS - Berdine, O'Hearn, Thielecke (2001) (Correct)
Linear Continuation-Passing - Berdine, O'Hearn (2002) (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