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: | Waters, Richard C. |
---|---|
Format: | Working Paper |
Language: | en_US |
Published: |
MIT Artificial Intelligence Laboratory
2008
|
Online Access: | http://hdl.handle.net/1721.1/41982 |
Similar Items
-
LetS: An Expressional Loop Notation
by: Waters, Richard C.
Published: (2004) -
A System for Understanding Mathematical FORTRAN Programs
by: Waters, Richard C.
Published: (2004) -
Optimization of Series Expressions: Part II: Overview of the Theory and Implementation
by: Waters, Richard C.
Published: (2004) -
Synchronizable Series Expressions: Part II: Overview of the Theory and Implementation
by: Waters, Richard C.
Published: (2004) -
Obviously Synchronizable Series Expressions: Part II: Overview of the Theory and Implementation
by: Waters, Richard C.
Published: (2004)