Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa  Home/Search
Context Related
| colorado.edu/~diwa...92duesterwald.pdf 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: colorado.edu/~diwan/7135/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this article, we present a general framework for developing demand-driven interprocedural data flow analyzers and report our experience in evaluating the performance of this approach. A demand for data flow information is modeled as a set of queries. The framework includes a generic demand-driven algorithm that determines the response to a query by iteratively applying a system of query propagation rules. The propagation rules yield precise responses for the class of distributive finite data... (Update)
Cited by: More
Focused Static Analyses for the Java Bytecode - Fausto Spoto Dipartimento (Correct)
Watchpoint Semantics: A Tool for Compositional and Focussed Static .. - Spoto (2001) (Correct)
Incrementalized Pointer and Escape Analysis - Vivien, Rinard (2001) (Correct)
Similar documents (at the sentence level):
71.5%: A Practical Framework for Demand-Driven Interprocedural.. - Duesterwald, Gupta.. (1998) (Correct)
10.4%: A Demand-Driven Approach - For Efficient Interprocedural (Correct)
Active bibliography (related documents): More All
0.7: Active Libraries and Universal Languages - Veldhuizen (2004) (Correct)
0.6: Demand-driven Computation of Interprocedural Data Flow - Duesterwald, Gupta, Soffa (1995) (Correct)
0.3: A Schema for Interprocedural Modification.. - Ryder, Landi.. (2001) (Correct)
Similar documents based on text: More All
0.2: Design and Implementation of a Dynamic Optimization.. - Bruening, Duesterwald (2000) (Correct)
0.2: A Demand-Driven Analyzer for Data Flow Testing at the.. - Duesterwald, Gupta.. (1996) (Correct)
0.1: ABCD: Eliminating Array-Bounds Checks on Demand - Bodik, Gupta, Sarkar (2000) (Correct)
Related documents from co-citation: More All
12: Demand interprocedural dataflow analysis - Horwitz, Reps et al. - 1995
9: Compilers: Principles (context) - Aho, Sethi et al. - 1986
9: Precise interprocedural dataflow analysis with application to constant propagati.. - Reps, Sagiv et al. - 1995
BibTeX entry: (Update)
E. Duesterwald, R. Gupta, and M.L. Soffa, "A Practical Framework for Demand Driven Interprocedural Data Flow Analysis," to appear ACM Transactions on Programming Languages and Systems, November 1998. http://citeseer.ist.psu.edu/duesterwald98practical.html More
@article{ duesterwald97practical,
author = "Evelyn Duesterwald and Rajiv Gupta and Mary Lou Soffa",
title = "A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "19",
number = "6",
month = "November",
publisher = "ACM Press",
pages = "992--1030",
year = "1997",
url = "citeseer.ist.psu.edu/duesterwald98practical.html" }
Citations (may not include all citations):265 Program slicing (context) - Weiser - 1984
246 Context-sensitive interprocedural points-to analysis on the .. - Emami, Ghiya et al. - 1994
228 Points-to analysis in almost linear time - Steensgaard - 1996
175 A safe approximate algorithm for interprocedural pointer ali.. - Landi, Ryder - 1992
144 Two approaches to interprocedural data flow analysis (context) - Sharir, Pnueli - 1981
129 Precise interprocedural dataflow analysis via graph reachabi.. - Reps, Horwitz et al. - 1995
129 Global value numbers and redundant computations (context) - Rosen, Wegman et al. - 1988
116 Monotone data flow analysis frameworks (context) - Kam, Ullman - 1977
95 An applicable family of data flow testing criteria (context) - Frankl, Weyuker - 1988
61 Incremental context-dependent analysis for language-based ed.. (context) - Reps, Teitelbaum et al. - 1983
59 Demand interprocedural dataflow analysis - Horwitz, Reps et al.
59 Demand interprocedural dataflow analysis - Horwitz, Reps et al.
59 The interprocedural coincidence theorem - Knoop, Steffen - 1992
55 Demand-driven computation of interprocedural data flow - Duesterwald, Gupta et al. - 1995
45 Precise interprocedural dataflow analysis with applications .. - Sagiv, Reps et al. - 1995
44 cient context-sensitive pointer analysis for C programs (context) - Wilson, Lam - 1995
44 Static determination of dynamic properties of recursive proc.. (context) - Cousot, Cousot - 1978
44 Data flow analysis of applicative programs using minimal fun.. (context) - Jones, Mycroft - 1986
38 Analyzing aliases of reference formal parameters (context) - Cooper - 1985
37 Procedure cloning - Cooper, Hall et al. - 1992
37 Properties of data flow frameworks (context) - Marlowe, Ryder
33 Extending typestate checking using conditional liveness anal.. (context) - Strom, Yellin - 1993
28 An incremental version of iterative data flow analysis (context) - Pollock, Soffa - 1989
27 Solving demand versions of interprocedural analysis problems (context) - Reps - 1994
27 Incremental data flow analysis in a structured program edito.. (context) - Zadeck - 1984
25 Automated assistance for program restructuring (context) - Griswold, Notkin - 1993
22 Rigorous data flow testing through output influences (context) - Duesterwald, Gupta et al. - 1992
18 cient flow-sensitive interprocedural computation of pointer-.. (context) - Choi, Burke et al. - 1993
12 cient hybrid algorithm for incremental data flow analysis (context) - Marlowe, Ryder et al.
11 Reversing abstract interpretations (context) - Hughes, Launchbury - 1992
11 Incremental data flow analysis (context) - Ryder - 1983
10 A type-based framework for program analysis - Hankin, LeMetayer - 1994
9 The method of attributes for data flow analysis: Part II (context) - Babich, Jazayeri - 1978
7 Demand-driven symbolic range propagation - Blume, Eigenmann - 1995
5 Abstract debugging of high-order imperative languages (context) - Bourdoncle - 1993
2 cient accommodation of may-alias information in SSA form (context) - Cytron, Gershbein - 1993
1 cient engineering of ambitious program analysis (context) - Choi, Cytron et al. - 1992
1 cient schedulability analysis through conditional linking an.. (context) - Stoyenko, Marlowe et al. - 1993
1 Evelyn Duesterwald (context) - on, Languages et al. - 1997
1 An interval analysis approach toward exhaustive and incremen.. (context) - Framework, Interprocedural et al. - 1987
1 A demand-driven approach for e#cient interprocedural data fl.. (context) - Duesterwald - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.colorado.edu/~diwan/7135/index.html): More
Flow-Insensitive Points-to Analysis with Term and Set.. - Foster, Fähndrich, Aiken (1997) (Correct)
Using Types to Analyze and Optimize Object-Oriented Programs - Diwan, McKinley, Moss (2001) (Correct)
Parametric Shape Analysis via 3-Valued Logic - Sagiv, Reps, Wilhelm (1999) (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