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...
| Main Author: | |
|---|---|
| Language: | en_US |
| Published: |
2004
|
| Online Access: | http://hdl.handle.net/1721.1/6929 |
| _version_ | 1826192549837012992 |
|---|---|
| author | Waters, Richard C. |
| author_facet | Waters, Richard C. |
| author_sort | Waters, Richard C. |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T09:19:08Z |
| id | mit-1721.1/6929 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T09:19:08Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/69292019-04-10T14:25:52Z Automatic Analysis of the Logical Structure of Programs Waters, Richard C. 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. 2004-10-20T20:08:10Z 2004-10-20T20:08:10Z 1978-12-01 AITR-492 http://hdl.handle.net/1721.1/6929 en_US AITR-492 26249593 bytes 20712639 bytes application/postscript application/pdf application/postscript application/pdf |
| spellingShingle | Waters, Richard C. Automatic Analysis of the Logical Structure of Programs |
| title | Automatic Analysis of the Logical Structure of Programs |
| title_full | Automatic Analysis of the Logical Structure of Programs |
| title_fullStr | Automatic Analysis of the Logical Structure of Programs |
| title_full_unstemmed | Automatic Analysis of the Logical Structure of Programs |
| title_short | Automatic Analysis of the Logical Structure of Programs |
| title_sort | automatic analysis of the logical structure of programs |
| url | http://hdl.handle.net/1721.1/6929 |
| work_keys_str_mv | AT watersrichardc automaticanalysisofthelogicalstructureofprograms |