Automatic Analysis of the Logical Structure of Programs

Title: en_US Automatic Analysis of the Logical Structure of Programs
Creator: en_US Waters, Richard C.
Date: 2004-10-20T20:08:10Z
Date Available: 2004-10-20T20:08:10Z
Date Issued: en_US 1978-12-01
Identifier: en_US AITR-492
uri: http://hdl.handle.net/1721.1/6929
Abstract: en_US 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.
Extent: 26249593 bytes; 20712639 bytes
Format: application/postscript; application/pdf
Language: en_US
Relation: en_US AITR-492