Matthew B. Dwyer, Lori A. Clarke  Home/Search
Context Related
| umass.edu/pub/techr...UMCS1995079.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: indiana.edu/pub/ucstri/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Data flow analysis is a versatile technique that can be used to address a variety of analysis problems. Typically, data flow analyzers are hand-crafted to solve a particular analysis problem. The cost of constructing analyzers can be high and is a barrier to evaluating alternative analyzer designs. In this paper, we describe an architecture that facilitates the rapid prototyping of data flow analyzers. With this architecture, a developer chooses from a collection of pre-existing components or, ... (Update)
Context of citations to this paper: More
.... of implementing a data flow analysis, such as Sharlit [22] SPARE [6] FIAT [8] System Z [27] PAG [1] and Dwyer and Clarke system [5], can expedite the construction of new data flow analyses. They provide a higher level of abstraction than used in our system. The McCAT [2]...
...to all software artifacts. Relative size of dependency analysis graph. This measure adapts established dependence analysis techniques [7] to basically calculate the reach of a change (e.g. how much of the code in the workspace might be affected) The larger the reach,...
Cited by: More
HOIST: A System for Automatically Deriving Static Analyzers.. - Regehr, Reid (2004) (Correct)
Frameworks For Precise Program Analysis - Murphy (2001) (Correct)
Composing Dataflow Analyses and Transformations - Lerner, Grove, Chambers (2001) (Correct)
Similar documents (at the sentence level):
49.5%: Data Flow Analysis For Verifying Correctness Properties Of.. - Dwyer (1995) (Correct)
Active bibliography (related documents): More All
0.8: A Flexible Architecture for Building Data Flow Analyzers - Matthew B. Dwyer, Lori A.. (1996) (Correct)
0.5: Flow Analysis for Verifying Specifications of Concurrent and.. - Dwyer, Clarke (1999) (Correct)
0.3: Flow Analysis for Verifying Properties of Concurrent .. - Dwyer, Clarke.. (2004) (Correct)
Similar documents based on text: More All
0.2: Mealy Machines Are A Better Model Of Lexical Analyzers - Yang (1996) (Correct)
0.2: Data Flow Analysis Frameworks for Concurrent Programs (Extended.. - Dwyer (1995) (Correct)
0.2: SOAP Optimization via Client-side Caching - Devaram, Andresen (Correct)
Related documents from co-citation: More All
5: Generation of efficient interprocedural analyzers with PAG - Alt, Martin - 1995
4: Automatic generation and management of interprocedural program analyses - Yi, Harrison - 1993
4: Global data flow analysis and iterative algorithms (context) - Kam, Ullman - 1976
BibTeX entry: (Update)
M. Dwyer and L. Clarke. A flexible architecture for building data flow analyzers. In Proceedings of the 18th International Conference on Software Engineering, Mar. 1996. http://citeseer.ist.psu.edu/dwyer96flexible.html More
@inproceedings{ dwyer96flexible,
author = "Matthew B. Dwyer and Lori A. Clarke",
title = "A flexible architecture for building data flow analyzers",
booktitle = "Proceedings of the~18th~International Conference on Software Engineering",
publisher = "IEEE Computer Society Press",
pages = "554--564",
year = "1996",
url = "citeseer.ist.psu.edu/dwyer96flexible.html" }
Citations (may not include all citations):232 Constant propagation with conditional branches (context) - Wegman, Zadeck - 1991
195 The design and implementation of hierarchical software syste.. - Batory, O'Malley - 1992 ACM DBLP
84 Data flow analysis for verifying properties of concurrent pr.. - Dwyer, Clarke - 1994
57 and Jeffrey D (context) - Aho, Sethi - 1985
53 The GenVoca model of software-system generators (context) - Batory, Singhal et al. - 1994
53 Automatic construction of sparse data flow evaluation graphs (context) - Choi, Cytron et al. - 1991
48 Non-concurrency analysis (context) - Masticola, Ryder - 1993
46 Analysis of event synchronization in a parallel programming .. - Callahan, Kennedy et al. - 1990
42 Fiat: A framework for interprocedural analysis and transform.. (context) - Hall, Mellor-Crummey et al. - 1993
41 Sharlit -- a tool for building optimizers - Tjiang, Hennessy - 1992
37 Properties of data flow frameworks (context) - Marlowe, Ryder - 1990
30 Concurrency analysis in the presence of procedures using a d.. (context) - Duesterwald, Soffa - 1991
28 Data flow analysis in software reliability (context) - Fosdick, Osterweil - 1976 ACM DBLP
24 Interprocedural static analysis of sequencing constraints (context) - Olender, Osterweil - 1992
20 Data Flow Analysis for Verifying Correctness Properties of C.. - Dwyer - 1995 ACM
19 Anomaly detection in concurrent software by static data flow.. (context) - Taylor, Osterweil - 1980
18 Tractable flow analysis for anomaly detection in distributed.. - Cheung, Kramer - 1993
16 Static analysis of arithmetical congruences (context) - Granger - 1989
14 Efficient computation of precedence information in parallel .. (context) - Grunwald, Srinivasan - 1993 ACM DBLP
14 IEEE Transactions on Software Engineering (context) - Holley, Rosen et al. - 1981
11 of Computer Programs. The Computer Science Library Programmi.. (context) - Hecht - 1977
8 A compact petri net representation for concurrent programs - Dwyer, Clarke et al. - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.indiana.edu/pub/ucstri/index): More
Environment Modelling for Mobile Robots: Neural Learning for.. - van Dam (1998) (Correct)
Broadcasting in Butterfly and DeBruijn Networks - Klasing, Monien, Peine, Stöhr (1992) (Correct)
ILFA - A Project in Experimental Logic Computation - Dunker, Flögel, Büning.. (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