Some Algorithms for the Analysis of Computer Programs.
Interim technical rept.,
COLORADO UNIV BOULDER DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
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
- Computer Programming and Software