PLANNER-73(ID:3346/pla015)

Interim name for PLASMA
Related languages
Actors => PLANNER-73   Evolution of
microPLANNER => PLANNER-73   Influence
PLANNER => PLANNER-73   Evolution of
POPLER => PLANNER-73   Influence
QA4 => PLANNER-73   Influence
PLANNER-73 => BESM Planner   Implementation
PLANNER-73 => PLASMA   Renaming
References:
  • Hewitt, Carl; Bishop, Peter; Greif, Irene; Smith, Brian; Matson, Todd; Steiger, Richard "Actor induction and meta-evaluation" pp153-168 view details
          in [ACM SIGACT-SIGPLAN] Proceedings of the ACM Symposium on Principles of Programming Languages, Boston, October 1973. Association for Computing Machinery. view details
  • Bobrow, D.G. and B. Raphael, "New programming languages for artificial intelligence" view details Extract: About Planner, MicroPlannerm, Conniver
    The PLANNER concept was developed by Hewitt at MIT starting in 1967 (Hewitt 1971, 197Z), and Sussman and Winograd built a first implementation, MICRO-PLANNER, which contained a subset of PLANNER features. These projects established the basis of the currently popular concept of procedural representation of knowledge. CONNIVER is a recent attempt by Sussman at MIT to remedy some observed shortcomings in the practical use of PLANNER, while preserving its good ideas.
          in [ACM] ACM Computing Surveys (CSUR) 6(3) September 1974 view details
  • Greif, Irene "Semantics of Communicating Parallel Processes" Ph.D. M.I.T. September, 1975 view details
          in [ACM] ACM Computing Surveys (CSUR) 6(3) September 1974 view details
  • Greif, Irene "Semantics of Communicating Parallel Processes" Project MAC Technical Report TR-154 MIT September, 1975 view details
          in [ACM] ACM Computing Surveys (CSUR) 6(3) September 1974 view details
  • Greif, Irene and Hewitt, Carl "Actor semantics of PLANNER-73" view details 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.


          in [ACM SIGACT-SIGPLAN] Proceedings of the 2nd ACM SIGACT-SIGPLAN Annual Symposium on Principles of Programming Languages 1975, Palo Alto, California view details
  • Yonezawa, A. "Symbolic Evaluation of Programs as an Aid to Program Construction" MIT AI Lab working paper. 1975 view details
          in [ACM SIGACT-SIGPLAN] Proceedings of the 2nd ACM SIGACT-SIGPLAN Annual Symposium on Principles of Programming Languages 1975, Palo Alto, California view details
  • Atkinson, Russell; Hewitt, Carl "Synchronization in actor systems" view details
          in [ACM SIGACT-SIGPLAN] Proceedings of the 4th ACM SIGACT-SIGPLAN Annual Symposium on Principles of Programming Languages January 1977 view details
  • Snodgrass, Richard "An Object-Oriented Command Language" in IEEE Transactions on Software Engineering, January 1983 view details Extract: Cola
    This paper describes Cola, an object oriented command language for Hydra; Hydra is a capability-based operating system that runs on C.mmp, a tightly coupled multiprocessor. The two primary aspects of Cola, that it is a command language for Hydra, and that it is based on the object paradigm, are examined. Cola was designed to effect a correspondence between capabilities in Hydra and objects that are supported by the language. Cola is based on Smantalk in that it uses message-passing as a control structure to allow syntactic freedom in the expression of commands to the system. Cola objects are arranged in a hierarchy, and the message-passing mechanism was designed to exploit this structure by automatically forwarding an unanswered message up the hierarchy. Two ramifications of this mechanism, automatic inheritance and shadowing, are discussed. An evaluation of the design decisions is also given
          in [ACM SIGACT-SIGPLAN] Proceedings of the 4th ACM SIGACT-SIGPLAN Annual Symposium on Principles of Programming Languages January 1977 view details