Deadlocks in Ada Tasking Programs Johann Blieberger, Bernd Burgstaller, and ...  Home/Search
Context
Related
| auto.tuwien.ac.at/~blieb/pa...tasks.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: auto.tuwien.ac.at/~blieb...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: It is well accepted that designing and analyzing concurrent software-components are tedious tasks. Assuring the quality of such software requires formal methods, which can statically detect deadlocks. (Update)
Similar documents (at the sentence level):
72.0%: Symbolic Data Flow Analysis for Detecting Deadlocks.. - Blieberger.. (2000) (Correct)
Active bibliography (related documents): More All
0.5: Analysis of Multithreaded Programs - Rinard (2001) (Correct)
0.3: Static Detection Of Deadlocks In Polynomial Time - Masticola (1993) (Correct)
0.3: Sparse Data-Flow Analysis for DAG Parallel Programs - Stoltz, Wolfe (1994) (Correct)
Similar documents based on text: More All
0.6: Symbolic Reaching Definitions Analysis of Ada Programs - Blieberger, Burgstaller (1998) (Correct)
0.4: Symbolic Pointer Analysis for Detecting Memory Leaks - Scholz, Blieberger, Fahringer (2000) (Correct)
0.4: Interprocedural Symbolic Evaluation of Ada Programs with .. - Blieberger.. (1999) (Correct)
BibTeX entry: (Update)
@misc{ ada-symbolic,
author = "Deadlocks In Ada",
title = "Symbolic Data Flow Analysis for Detecting",
url = "citeseer.ist.psu.edu/581674.html" }
Citations (may not include all citations):86 A general-purpose algorithm for analyzing concurrent program.. (context) - Taylor - 1983 ACM DBLP
50 Elimination algorithms for data flow analysis (context) - Ryder, Paull - 1986 ACM DBLP
30 Concurrency analysis in the presence of procedures using a d.. (context) - Duesterwald, Sofia
30 Combining static concurrency analysis with symbolic executio.. (context) - Young, Taylor - 1988 ACM DBLP
24 Static detection of deadlocks in polynomial time - Masticola - 1993 ACM
20 Symbolic Evaluation for Parallelizing Compilers - Fahringer, Scholz ACM DBLP
20 Static infinite wait anomaly detection in polynomial time - Masticola, Ryder - 1990 DBLP
19 Data flow analysis of concurrent systems that use the rendez.. (context) - Long, Clarke ACM DBLP
18 Application and experimental evaluation of state space reduc.. - Duri, Buy et al. - 1994 ACM DBLP
16 Symbolic evaluation and the analysis of programs (context) - Cheatham, Holloway et al. - 1979 DBLP
12 Using symbolic execution for verification of Ada tasking pro.. (context) - Dillon - 1990 ACM DBLP
8 Static concurrency analysis in the presence of procedures (context) - Duesterwald - 1991
8 Symbolic reaching definitions analysis of Ada programs - Blieberger, Burgstaller ACM DBLP
5 Automatic verification of concurrent Ada programs - Bruneton, Pradat-Peyre ACM DBLP
3 Static single assignment form for explicitly parallel progra.. - Stoltz, Srinivasan et al. - 1994
2 Partial Evaluation and SemanticsBased Program Manipulation (context) - Scholz, Bileberger et al.
1 Interprocedural Symbolic Evaluation of Ada Programs with Ali.. (context) - Bileberger, Burgstaller et al. ACM DBLP
1 Symbolic cache analysis for real-time systems (context) - Bileberger, Fahringer et al. - 2000 ACM DBLP
1 Data-flow frameworks for worst-case execution time analysis (context) - Bileberger - 2000 ACM DBLP
1 Evaluating deadlock detection methods for concurrent softwar.. (context) - Cotbert - 1996 ACM DBLP
Documents on the same site (http://www.auto.tuwien.ac.at/~blieb/papers.html): More
Multi-Staged Discrete Loops for Real-Time Systems - Lieger, Blieberger (Correct)
Symbolic Cache Analysis for Real-Time Systems - Blieberger, Fahringer, Scholz (1999) (Correct)
Worst-Case Space and Time Complexity of Recursive Procedures - Blieberger, LIEGER (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