A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf
.
Static Dependency Analysis for Concurrent Ada 95 Programs
[chapter]
2002
Lecture Notes in Computer Science
Program dependency analysis is an analysis technique to identify and determine various program dependencies in program source codes. It is an important approach for testing, understanding, maintaining and transforming programs. But, there are still many difficulties to be solved when carrying out dependency analysis for concurrent programs because the execution of statements is nondeterministic. In this paper, we propose a novel approach to analyze dependencies for concurrent Ada 95 programs.
doi:10.1007/3-540-48046-3_17
fatcat:ix6ct2cvkfetfklzg7o4dlyyke