Jens Palsberg  Home/Search
Context Related
| purdue.edu/homes/pal...palsberg98.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: purdue.edu/homes/p...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: How does a continuation-passing-style (CPS) transformation change the flow analysis of a program? This has been studied by Nielson, Filho et al, and Sabry and Felleisen. Their work indicates that the flow information sometimes gets better and sometimes gets worse. In this paper we present an algorithm for CPS transformation of flow information. From the least solution to the flow constraints of a program, our algorithm constructs the least solution to the flow constraints for the... (Update)
Context of citations to this paper: More
...by confusing return points. These results are essentially confirmed by Palsberg and Wand s recent CPS transformation of flow information [29]. At any rate, except for continuation based partial evaluation [10] there seems to have been no further work about the e#ect of CPS...
...results suggest that the connection between binding time analysis and security [1] warrants more investigation. Palsberg and Wand [32] have also proposed CPS transformation of ow information for control ow analyes. Muylaert Filho and Burn studied CPS transformation as a...
Cited by: More
Secure Information Flow via Linear Continuations - Zdancewic, Myers (2002) (Correct)
Syntactic Accidents in Program Analysis: On the Impact of the.. - Damian, Danvy (2000) (Correct)
Similar documents (at the sentence level):
12.5%: CPS Transformation of Flow Information - Palsberg, Wand (2000) (Correct)
7.4%: Under consideration for publication in J. Functional.. - Jens Palsberg Purdue (Correct)
Active bibliography (related documents): More All
0.2: From Polyvariant Flow Information to Intersection and Union.. - Palsberg, Pavlopoulou (1998) (Correct)
0.2: Branching Types - Wells, Haack (2002) (Correct)
0.1: The Formal Relationship Between Direct and Continuation-Passing.. - Sabry (1994) (Correct)
Similar documents based on text: More All
0.5: THEORETICAL PEARLS - CPS in Little Pieces: Composing Partial.. - Friedman, Sabry (1993) (Correct)
0.2: Teaching Reviewing to Graduate Students - Palsberg, Baxter (2002) (Correct)
0.2: Visitor-Oriented Programming - Thomas Vandrunen Jens (Correct)
Related documents from co-citation: More All
2: Is continuation passing useful for data-flow analysis - Sabry, Felleisen - 1994
2: Syntactic accidents in program analysis: On the impact of the CPS transformation - Damian, Danvy - 2000
2: A Core Calculus of Dependency - Abadi, Banerjee et al. - 1999
BibTeX entry: (Update)
Jens Palsberg and Mitchell Wand. CPS transformation of flow information. Unpublished manuscript, available at http://www.cs.purdue.edu/~palsberg/publications.html, March 2000. http://citeseer.ist.psu.edu/article/palsberg98cp.html More
@unpublished{ palsberg00cps,
author = "Jens Palsberg and Mitchell Wand",
title = "{CPS} Transformation of Flow Information",
year = "2000",
url = "citeseer.ist.psu.edu/article/palsberg98cp.html" }
Citations (may not include all citations):729 The Lambda Calculus: Its Syntax and Semantics (context) - Barendregt - 1984
283 Theoretical Computer Science (context) - Plotkin, call-by-value et al. - 1975
176 Control-Flow Analysis of Higher-Order Languages (context) - Shivers - 1991
99 A partial evaluator for the untyped lambdacalculus - Gomard, Jones - 1991
88 A type system equivalent to flow analysis - Palsberg, O'Keefe - 1995
70 Mathematical Structures in Computer Science (context) - Danvy, Filinski et al. - 1992
66 Continuation semantics in typed lambda-calculi - Meyer, Wand - 1985
57 Fast interprocedural class analysis - DeFouw, Grove et al. - 1998
53 Control-flow analysis and type systems - Heintze - 1995
46 Analysis and Efficient Implementation of Functional Programs - Sestoft - 1991
40 A denotational framework for data flow analysis (context) - Nielson - 1982
38 Efficient analyses for realistic off-line partial evaluation (context) - Bondorf, Jorgensen - 1993
38 Selective and lightweight closure conversion - Wand, Steckler - 1994
34 Linear-time subtransitive control flow analysis - Heintze, McAllester - 1997
30 A practical and flexible flow analysis for higher-order lang.. - Ashley - 1996
30 A typed intermediate language for flow-directed compilation - Wells, Dimock et al. - 1997
29 Is continuation-passing useful for data flow analysis - Sabry, Felleisen - 1994
12 Continuation passing transformation and abstract interpretat.. (context) - Filho, Muylaert - 1993
6 Compiling with polymorphic and polyvariant flow types - Turbak, Dimock et al. - 1997
Documents on the same site (http://www.cs.purdue.edu/homes/palsberg/publications.html): More
Safety Analysis versus Type Inference for Partial Types - Palsberg, Schwartzbach (1992) (Correct)
Comparing Flow-based Binding-time Analyses - Palsberg (1995) (Correct)
Normal Forms have Partial Types - Palsberg (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