Reports
Some Algorithms for the Analysis of Computer Programs ; CU-CS-126-78 Public Deposited
https://scholar.colorado.edu/concern/reports/kk91fm64b
- 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.
- Creator
- Date Issued
- 1978-04-01
- Academic Affiliation
- Last Modified
- 2019-12-21
- Resource Type
- Rights Statement
- Language
Relationships
Items
Thumbnail | Title | Date Uploaded | Visibility | Actions |
---|---|---|---|---|
someAlgorithmsForTheAnalysisOfComputerProgramsCuCs126.pdf | 2019-12-21 | Public | Download |