Static Dependency Analysis for Concurrent Ada 95 Programs

Program dependency analysis is an analysis technique to identify and determine various program dependencies in program source codes. It is an important approach to testing, understanding, maintaining and transforming programs