Actor Semantics of PLANNER-73 (opens in new tab)

Actor Semantics of PLANNER-73 Greif, Irene; Hewitt, Carl 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. T...