DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
ADA056820
Title:
Some Algorithms for the Analysis of Computer Programs.
Corporate Author:
COLORADO UNIV BOULDER DEPT OF COMPUTER SCIENCE
Report Date:
1978-04-01
Abstract:
The analysis of computer programs is an important part of program translation, error detection, optimization, and documentation. It consists of two distinct activities the construction of an abstract model of a program, given the program itself in some language such as FORTRAN, and the extraction of information from the program by examination of the model. A labeled, directed graph is a model that is often used. In recent years workers in theoretical computer science have constructed and analyzed algorithms for solving problems on labeled, directed graphs which are directly related to important problems arising in the analysis of computer programs. Some of these algorithms and their applications are described. The discussion does not assume a knowledge of graph theory. Author
Descriptive Note:
Interim technical rept.,
Pages:
0032
Contract Number:
DAAG29-78-G-0046
File Size:
11.26MB
