Automatic Analysis of the Logical Structure of Programs

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 th...

Full description

Bibliographic Details
Main Author: Waters, Richard C.
Language:en_US
Published: 2004
Online Access:http://hdl.handle.net/1721.1/6929