A Method, Based on Plans, for Understanding How a Loop Implements a Computation
This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided in part by the Advanced Research Projects Agency of the Department of Defense under Office of Nav...
| Main Author: | |
|---|---|
| Format: | Working Paper |
| Language: | en_US |
| Published: |
MIT Artificial Intelligence Laboratory
2008
|
| Online Access: | http://hdl.handle.net/1721.1/41982 |
| _version_ | 1826202257627021312 |
|---|---|
| author | Waters, Richard C. |
| author_facet | Waters, Richard C. |
| author_sort | Waters, Richard C. |
| collection | MIT |
| description | This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided in part by the Advanced Research Projects Agency of the Department of Defense under Office of Naval Research contract N00014-75-C-0643. |
| first_indexed | 2024-09-23T12:04:39Z |
| format | Working Paper |
| id | mit-1721.1/41982 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T12:04:39Z |
| publishDate | 2008 |
| publisher | MIT Artificial Intelligence Laboratory |
| record_format | dspace |
| spelling | mit-1721.1/419822019-04-12T09:44:58Z A Method, Based on Plans, for Understanding How a Loop Implements a Computation Waters, Richard C. This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided in part by the Advanced Research Projects Agency of the Department of Defense under Office of Naval Research contract N00014-75-C-0643. The plan method analyzes the structure of a program. The plan which results from applying the method represents this structure by specifying how the parts of the program interact. This paper demonstrates the utility of the plan method by showing how a plan for a loop can be used to help prove the correctness of a loop. The plan does this by providing a convenient description of what the loop does. This paper also shows how a plan for a loop can be developed based on the code for the loop without the assistance of any commentary. This is possible primarily because most loops are built up in stereotyped ways according to a few fundamental plan types. An experiment is presented which supports the claim that a small number of plan types cover a large percentage of actual cases. MIT Artificial Intelligence Laboratory Department of Defense Advanced Research Projects Agency 2008-08-26T15:32:55Z 2008-08-26T15:32:55Z 1977-07 Working Paper http://hdl.handle.net/1721.1/41982 en_US MIT Artificial Intelligence Laboratory Working Papers, WP-150; application/pdf MIT Artificial Intelligence Laboratory |
| spellingShingle | Waters, Richard C. A Method, Based on Plans, for Understanding How a Loop Implements a Computation |
| title | A Method, Based on Plans, for Understanding How a Loop Implements a Computation |
| title_full | A Method, Based on Plans, for Understanding How a Loop Implements a Computation |
| title_fullStr | A Method, Based on Plans, for Understanding How a Loop Implements a Computation |
| title_full_unstemmed | A Method, Based on Plans, for Understanding How a Loop Implements a Computation |
| title_short | A Method, Based on Plans, for Understanding How a Loop Implements a Computation |
| title_sort | method based on plans for understanding how a loop implements a computation |
| url | http://hdl.handle.net/1721.1/41982 |
| work_keys_str_mv | AT watersrichardc amethodbasedonplansforunderstandinghowaloopimplementsacomputation AT watersrichardc methodbasedonplansforunderstandinghowaloopimplementsacomputation |