Actor semantics of PLANNER-73

@inproceedings{Greif1975ActorSO,
  title={Actor semantics of PLANNER-73},
  author={I. Greif and C. Hewitt},
  booktitle={POPL '75},
  year={1975}
}
  • I. Greif, C. Hewitt
  • Published in POPL '75 1975
  • Computer Science
  • 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. 
    Scheme: A Interpreter for Extended Lambda Calculus
    • 199
    • PDF
    Towards a programming apprentice
    • 89
    Specification techniques for data abstractions
    • 353
    Specification and Proof Techniques for Serializers
    • 71
    • PDF
    Laws for Communicating Parallel Processes
    • 224
    Specification techniques for data abstractions
    • 100
    • PDF
    How To Use What You Know
    • 51
    • PDF
    The Smalltalk-76 programming system design and implementation
    • 279
    • PDF