Actor Semantics of PLANNER-73
Name
AI_WP_081.pdf
Description
Main article
Size
1.31 MB
Format
Adobe PDF
Checksum (MD5)
42946c16c5194eb6a689a55f0a153b10
Author(s)
Greif, Irene
Hewitt, Carl
Date Issued
November 1974
Publisher
MIT Artificial Intelligence Laboratory
Series/Report no.
MIT Artificial Intelligence Laboratory Working Papers, WP-81
Abstract
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 are written and explained for sequences, cells, and a simple synchronization primitive. In addition there is discussion of the implications of actor semantics for the controversy over elimination of side-effects.
Description
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-70-A-0362-0005.
Persistent DSpace Link
