Automatic Analysis of the Logical Structure of Programs
Author(s)
Waters, Richard C.
Date Issued
December 1, 1978
Series/Report no.
AITR-492
Abstract
This report presents a method for viewing complex programs as built up out of simpler ones. The central idea is that typical programs are built up in a small number of stereotyped ways. The method is designed to make it easier for an automatic system to work with programs. It focuses on how the primitive operations performed by a program are combined together in order to produce the actions of the program as a whole. It does not address the issue of how complex data structures are built up from simpler ones, nor the relationships between data structures and the operations performed on them.
Persistent DSpace Link