Some Algorithms for the Analysis of Computer Programs.

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1978
Accession Number
ADA056820

Entities

People

  • Lloyd D. Fosdick

Organizations

  • University of Colorado Boulder

Tags

Communities of Interest

  • Counter IED
  • Ground and Sea Platforms

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Construction
  • Data Analysis
  • Detection
  • Graph Theory
  • Language
  • Optimization
  • Theoretical Computer Science
  • Translations

Fields of Study

  • Computer science

Readers

  • Calculus or Mathematical Analysis
  • Computer Science.
  • Molecular and Cellular Biochemistry