An Approach to Analyzing Dependency of Concurrent Programs

Authors:
Zhenqiang Chen;Baowen Xu;Hongji Yang;Kecheng Liu;Jianping Zhang
Affiliations:
-;-;-;-;-
Venue:
APAQS '00 Proceedings of the The First Asia-Pacific Conference on Quality Software (APAQS'00)
Year:
2000

Citing 0
Cited 9

Detecting concurrently executed pairs of statements using an adapted MHP algorithm

Proceedings of the 2001 annual ACM SIGAda international conference on Ada
Dependence analysis for recursive java programs

ACM SIGPLAN Notices
An overview of methods for dependence analysis of concurrent programs

ACM SIGPLAN Notices
Slicing Tagged Objects in Ada

Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
A brief survey of program slicing

ACM SIGSOFT Software Engineering Notes
Precise slicing of concurrent programs

Automated Software Engineering
Advanced chopping of sequential and concurrent programs

Software Quality Control
A practice-driven systematic review of dependency analysis solutions

Empirical Software Engineering
Improved program dependence graph and algorithm for static slicing concurrent programs

APPT'05 Proceedings of the 6th international conference on Advanced Parallel Processing Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

Dependency analysis is an important approach to testing, understanding, maintaining and transforming concurrent programs. However, because the execution process of concurrent programs is unpredictable, there are many problems to be solved when carrying out dependency analysis. In this paper, we propose some models for constructing concurrent program flow graph and concurrent program dependency graph for Ada programs, and based on these models, present a dependency analysis algorithm.