A Method, Based on Plans, for Understanding How a Loop Implements a Computation
Richard C. Waters · DSpace@MIT (Massachusetts Institute of Technology) · 1977
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.