M. B. Dwyer  Home/Search
Context Related
| ksu.edu/pub/CIS/Dwyer/...completeea.ps ksu.edu/~dwyer/papers/completeea.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: ksu.edu/~dwyer/STATIC/static (more) From: ksu.edu/~dwyer/papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ) Matthew B. Dwyer Department of Computing and Information Sciences Nichols Hall Kansas State University Manhattan, KS 66506 dwyer@cis.ksu.edu (913)532-6350 before 8/1/95: Department of Computer Science Lederle Graduate Research Center University of Massachusetts Amherst, MA 01003 dwyer@cs.umass.edu (413)545-2146 Abstract In this abstract, we present complete-lattice data flow analysis frameworks. These are a generalization of semi-lattice based data flow analysis frameworks and are... (Update)
Context of citations to this paper: More
.... problem in the case of the lattice of constants is the classical iterative algorithm from [17] with an interprocesses variant such as [9]. In the case of the integer intervals lattice, due to the fact that it has infinite height, we use for each process a widening technique as...
Cited by: More
Using Static Analysis To Improve Automatic Test Generation - Bozga, Fernandez, Ghirvu (2000) (Correct)
Similar documents (at the sentence level):
78.7%: Data Flow Analysis Frameworks for Concurrent Programs - Dwyer (1995) (Correct)
66.0%: Data Flow Analysis For Verifying Correctness Properties Of.. - Dwyer (1995) (Correct)
Active bibliography (related documents): More All
0.3: Flow Analysis for Verifying Specifications of Concurrent and.. - Dwyer, Clarke (1999) (Correct)
0.3: A Flexible Architecture for Building Data Flow Analyzers - Matthew B. Dwyer, Lori A.. (1996) (Correct)
0.3: Data Flow Analysis for Verifying Properties of Concurrent Programs - Dwyer (1994) (Correct)
Similar documents based on text: More All
0.3: Using Partial Evaluation to Enable Verification of.. - Dwyer, Hatcliff, Nanda (1998) (Correct)
0.3: Filter-based Model Checking of Partial Systems - Dwyer, Pasareanu (1998) (Correct)
0.3: Automated Analysis of Software Frameworks - Dwyer (1997) (Correct)
BibTeX entry: (Update)
M. Dwyer. Data Flow Analysis Frameworks for Concurrent Programs. Technical Report UM-CS-1995-062, University of Massachusetts at Amherst, US, 1995. http://citeseer.ist.psu.edu/article/dwyer95data.html More
@techreport{ dwyer95data,
author = "M. B. Dwyer and L. A. Clarke",
title = "Data Flow Analysis Frameworks for Concurrent Programs",
number = "UM-CS-1995-062",
month = ",",
year = "1995",
url = "citeseer.ist.psu.edu/article/dwyer95data.html" }
Citations (may not include all citations):815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
509 Introduction to Lattices and Order (context) - Davey, Priestley - 1990
352 Supercompilers for Parallel and Vector Computers (context) - Zima, Chapman - 1991
232 Constant propagation with conditional branches (context) - Wegman, Zadeck - 1991
156 A unified approach to global program optimization (context) - Kildall - 1973
116 Monotone data flow analysis frameworks (context) - Kam, Ullman - 1977
93 Global data flow analysis and iterative algorithms (context) - Kam, Ullman - 1976
84 Data flow analysis for verifying properties of concurrent pr.. - Dwyer, Clarke - 1994
65 Complexity of analyzing the synchronization structure of con.. (context) - Taylor - 1983
57 and Jeffrey D (context) - Aho, Sethi - 1985
48 Non-concurrency analysis (context) - Masticola, Ryder - 1993
46 Analysis of event synchronization in a parallel programming .. - Callahan, Kennedy et al. - 1990
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
24 Static Detection of Deadlocks in Polynomial Time - Masticola - 1993
18 Tractable flow analysis for anomaly detection in distributed.. - Cheung, Kramer - 1993
18 Static single assignment for explicitly parallel programs (context) - Srinivasan, Hook et al. - 1993
14 Fast algorithms for solving path problems (context) - Tarjan - 1981
14 Efficient computation of precedence information in parallel .. (context) - Grunwald, Srinivasan - 1993
11 of Computer Programs. The Computer Science Library Programmi.. (context) - Hecht - 1977
10 A fast and usually linear algorithm for global data flow ana.. (context) - Graham, Wegman - 1976
8 Static concurrency analysis in the presence of procedures (context) - Duesterwald - 1991
Documents on the same site (http://www.cis.ksu.edu/~dwyer/STATIC/static.html): More
Model Checking Generic Container Implementations - Dwyer, Pasareanu (1998) (Correct)
Using Partial Evaluation to Enable Verification of.. - Dwyer, Hatcliff, Nanda (1998) (Correct)
A Flexible Architecture for Building Data Flow Analyzers - Matthew B. Dwyer, Lori A.. (1996) (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