Actor Semantics of PLANNER-73

dc.contributor.author	Greif, Irene
dc.contributor.author	Hewitt, Carl
dc.date.accessioned	2008-04-10T14:30:51Z
dc.date.available	2008-04-10T14:30:51Z
dc.date.issued	1974-11
dc.identifier.uri	http://hdl.handle.net/1721.1/41116
dc.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.	en
dc.description.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.	en
dc.description.sponsorship	MIT Artificial Intelligence Laboratory	en
dc.language.iso	en_US	en
dc.publisher	MIT Artificial Intelligence Laboratory	en
dc.relation.ispartofseries	MIT Artificial Intelligence Laboratory Working Papers, WP-81	en
dc.title	Actor Semantics of PLANNER-73	en
dc.type	Working Paper	en