Amr Sabry Matthias Felleisen School of Computer Science Carnegie Mellon...  Home/Search
Context Related
Links: ACM DBLP | uoregon.edu/~sabry/pap...cpsflowtr.ps indiana.edu/hyplan/sab...cpsflowtr.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: uoregon.edu/~sabry/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Interpretation Exploiting well-known ideas from the area of abstract interpretation [4, 9, 14, 16], we derive a data flow analyzer from each of the previous interpreters. The first step in the derivation is to transform the standard semantics into a collecting semantics. While the former attaches the current value of each variable to the corresponding location, the latter associates the variable with the (potentially infinite) set of values to which it is bound during the evaluation of the... (Update)
Context of citations to this paper: More
...to the same conjecture. 120 peared in a paper presented at the Conference on Programming Language Design and Implementation [86, 87]. 6.1 Constant Propagation by Abstract Interpretation For the analysis of programs, we assume the programs to be in A normal form, and all...
.... [28] Sabry and Felleisen observed that some analyses confuse continuations when applied to CPS programs, decreasing their precision [39]. Our type system distinguishes linear from nonlinear continuations to avoid confusing calls with returns. Linear continuations...
Cited by: More
Back to Direct Style - Olivier Danvy Department (1992) (Correct)
Secure Information Flow and CPS - Zdancewic, Myers (2001) (Correct)
Secure Information Flow via Linear Continuations - Zdancewic, Myers (2002) (Correct)
Similar documents (at the sentence level):
32.5%: The Formal Relationship between Direct and Continuation-Passing.. - Sabry (1994) (Correct)
31.4%: Is Continuation-Passing Useful for Data Flow Analysis? - Sabry, Felleisen (1994) (Correct)
24.2%: The Formal Relationship Between Direct and Continuation-Passing.. - Sabry (1994) (Correct)
Active bibliography (related documents): More All
0.1: RML - A New Language and Implementation for Natural Semantics - Pettersson (1994) (Correct)
0.1: Syntactic Accidents in Program Analysis: On the Impact of the.. - Damian, Danvy (2000) (Correct)
0.1: CPS Transformation of Flow Information - Palsberg (1998) (Correct)
Similar documents based on text: More All
0.2: Extracting the Range of cps from Affine Typing - Berdine, O'Hearn, Thielecke (Correct)
0.1: Reasoning about Programs in Continuation-Passing Style - Sabry, Felleisen (Correct)
0.1: A Reflection on Call-by-Value - Sabry, Wadler (1996) (Correct)
Related documents from co-citation: More All
23: Reasoning about programs in continuation-passing style - Sabry, Felleisen
21: The essence of compiling with continuations - Flanagan, Sabry et al.
18: Compiling with Continuations (context) - Appel - 1992
BibTeX entry: (Update)
A. Sabry and M. Felleisen. Is continuation passing useful for data-flow analysis? In Programming Language Design and Implementation, 1994. http://citeseer.ist.psu.edu/article/sabry94is.html More
@inproceedings{ sabry94is,
author = "Amr Sabry and Matthias Felleisen",
title = "Is Continuation-Passing Useful for Data Flow Analysis?",
booktitle = "{SIGPLAN} Conference on Programming Language Design and Implementation",
pages = "1-12",
year = "1994",
url = "citeseer.ist.psu.edu/article/sabry94is.html" }
Citations (may not include all citations):815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
521 Compiling with Continuations (context) - Appel - 1992 ACM
220 Orbit: An optimizing compiler for Scheme (context) - Kranz, Kelsey et al. - 1986 ACM DBLP
155 The essence of compiling with continuations - Flanagan, Sabry et al. - 1993
131 Set Based Program Analysis - Heintze - 1992
116 Monotone data flow analysis frameworks (context) - Kam, Ullman - 1977
76 a better support of static data flow - Consel, Danvy - 1991
61 Control-Flow Analysis of Higher-Order Languages or Taming La.. - Shivers - 1991
53 Realistic compilation by program transformation - Kelsey, Hudak - 1989
40 A denotational framework for data flow analysis (context) - Nielson - 1982 DBLP
39 Improving binding times without explicit CPS-conversion (context) - Bondorf - 1992 ACM DBLP
39 Massachusetts Institute of Technology (context) - Steele, Rabbit - 1978
39 Properties of data flow frameworks: A unified model (context) - Marlowe, Ryder - 1990
32 ACM Transactions on Programming Languages and Systems (context) - Hudak, Young - 1991
12 Continuation passing transformation and abstract interpretat.. (context) - Filho, Muylaert - 1993 ACM DBLP
5 Improving abstract interpretations with CPS-translation (context) - Filho - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.uoregon.edu/~sabry/papers/): More
Correctness of Monadic State: An Imperative Call-by-Need Calculus - Ariola, Sabry (1998) (Correct)
Debugging Reactive Systems in Haskell - Sabry, Sparud (1997) (Correct)
What is a Purely Functional Language? - Sabry (1998) (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