AI Working Papers (1971 - 1995): Recent submissions

Now showing items 202-204 of 291

    • Understanding LISP Programs: Towards a Programmer's Apprentice 

      Rich, Charles; Shrobe, Howard E. (MIT Artificial Intelligence Laboratory, 1974-12)
      Several attempts have been made to produce tools which will help the programmer of complex computer systems. A new approach is proposed which integrates the programmer's intentions, the program code, and the comments, by ...

    • Actor Semantics of PLANNER-73 

      Greif, Irene; Hewitt, Carl (MIT Artificial Intelligence Laboratory, 1974-11)
      Work on PLANNER-73 and actors has led to the development of a basis for semantics of programming languages. Its value in describing programs with side-effects, parallelism, and synchronization is discussed. Formal definitions ...

    • CONS 

      Thomas, Knight (MIT Artificial Intelligence Laboratory, 1974-11)