Repository logo
Log in(current)
Repository logoMIT Open ScholarshipDSpace@MIT
  1. Home
  2. Computer Science and Artificial Intelligence Lab (CSAIL)
  3. Artificial Intelligence Lab Publications
  4. AI Technical Reports (1964 - 2004)
  5. Automatic Analysis of the Logical Structure of Programs

Automatic Analysis of the Logical Structure of Programs

Thumbnail Image
Download
Name

AITR-492.pdf

Size

19.75 MB

Format

Adobe PDF

Checksum (MD5)

69974bd96267dc8136ca58466a5ad99e

Thumbnail Image
Download
Name

AITR-492.ps

Size

25.03 MB

Format

PostScript

Checksum (MD5)

47d42bf7443a5229ff1266262c41f9ba

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
http://hdl.handle.net/1721.1/6929
Repository logo
PrivacyPermissionsAccessibilityContact us
Repository logo
Notify us about copyright concerns.