The Synthesis of Algorithmic Systems
Journal of the ACM (JACM)
Synchronization of communicating processes
Communications of the ACM
Protection in programming languages
Communications of the ACM
GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
Communications of the ACM
Concurrent control with “readers” and “writers”
Communications of the ACM
The next 700 programming languages
Communications of the ACM
Definitional interpreters for higher-order programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
Inductive methods for proving properties of programs
Proceedings of ACM conference on Proving assertions about programs
INDUCTION IN PROOFS ABOUT PROGRAMS
INDUCTION IN PROOFS ABOUT PROGRAMS
Comparative Schematology
Control structures for programming languages
Control structures for programming languages
Language-qa4: a procedural calculus for intuitive reasoning.
Language-qa4: a procedural calculus for intuitive reasoning.
Global variable considered harmful
ACM SIGPLAN Notices
Definition of new data types in ALGOL x
ALGOL Bulletin
LISP 1.5 Programmer's Manual
The early history of Smalltalk
HOPL-II The second ACM SIGPLAN conference on History of programming languages
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
From λ to π; or, Rediscovering continuations
Mathematical Structures in Computer Science
TINLAP '75 Proceedings of the 1975 workshop on Theoretical issues in natural language processing
The early history of Smalltalk
History of programming languages---II
JDA: a step towards large-scale reuse on the web
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
A universal modular ACTOR formalism for artificial intelligence
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
On understanding data abstraction, revisited
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Uniqueness and reference immutability for safe parallelism
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Hi-index | 0.00 |
The PLANNER project is continuing research in natural and effective means for embedding knowledge in procedures. In the course of this work we have succeeded in unifying the formalism around one fundamental concept: the ACTOR. Intuitively, an ACTOR is an active agent which plays a role on cue according to a script. We use the ACTOR metaphor to emphasize the inseparability of control and data flow in our model. Data structures, functions, semaphores, monitors, ports, descriptions, Quillian nets, logical formulae, numbers, identifiers, demons, processes, contexts, and data bases can all be shown to be special cases of actors. All of the above are objects with certain useful modes of behavior. Our formalism shows how all of these modes of behavior can be defined in terms of one kind of behavior: sending messages to actors. An actor is always invoked uniformly in exactly the same way regardless of whether it behaves as a recursive function, data structure, or process.