Now showing items 19-21 of 291

    • A Method, Based on Plans, for Understanding How a Loop Implements a Computation 

      Waters, Richard C. (MIT Artificial Intelligence Laboratory, 1977-07)
      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 ...
    • A History Keeping Debugging System for PLASMA 

      Morrison, Jerry Howard (MIT Artificial Intelligence Laboratory, 1977-05)
      PLASMA (for PLAnner-like System Modeled on Actors) is a message-passing computer language based on actor semantics. Since every event in the system is the receipt of a message actor by a target actor, a complete history ...
    • Extracting topographic features from elevation data using contour lines 

      Bruss, Anna R. (MIT Artificial Intelligence Laboratory, 1977-05)
      This paper describes a method for finding such topographical features as ridges and valleys in a given terrain. Contour lines are used to obtain the desired result.