AI Working Papers (1971 - 1995): Recent submissions

Now showing items 49-51 of 291

    • Symbol IC-Evaluation as an Aid to Program Synthesis 

      Yonezawa, Akinori (MIT Artificial Intelligence Laboratory, 1976-04)
      Symbolic-evaluation is the process which abstractly evaluates an actor program and checks to see whether the program fulfills its contract (specification). In this paper, a formalism based on the conceptual representation ...

    • CGOL - an Alternative External Representation For LISP users 

      Pratt, Vaughan R. (MIT Artificial Intelligence Laboratory, 1976-03)
      Advantages of the standard external representation of LISP include its simple definition, its economical implementation and its convenient extensibility. These advantages have been gained by trading off syntactic variety ...

    • An Actor-Based Computer Animation Language 

      Kahn, Kenneth M. (MIT Artificial Intelligence Laboratory, 1976-02)
      This paper reproduces an appendix of a doctoral thesis proposal that describes a language based on actor semantics designed especially for animation. The system described herein is built upon MacLisp and is also compatible ...