Artificial Intelligence Lab Publications: Recent submissions

Now showing items 202-204 of 1835

    • Protection and Synchronization in Actor Systems 

      Hewitt, Carl (MIT Artificial Intelligence Laboratory, 1974-11)
      This paper presents a unified method [called ENCASING] for dealing with the closely related issues of synchronization and protection in actor systems [Hewitt et al. 1973a, 1973b, 1974a; Greif and Hewitt 1975]. Actors are ...

    • 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 ...