Search
Now showing items 1-10 of 26
Actors and Continuous Functionals
(1978-02)
This paper presents precise versions of some "laws" that must be satisfied by computations involving communicating parallel processes. The laws take the form of stating plausible restrictions on the histories of computations ...
The Incremental Garbage Collection of Processes
(MIT Artificial Intelligence Laboratory, 1977-06)
This paper investigates some problems associated with an argument evaluation order that we call "future" order, which is different from both call-by-name and call-by-value. In call-by-future, each formal parameter of a ...
Symbolic Evaluation Using Conceptual Representations for Programs with Side-Effects
(1976-12-01)
Symbolic evaluation is a process which abstractly evaluates an program on abstract data. A formalism based on conceptual representations is proposed as a specification language for programs with side-effects. Relations ...
Laws for Communicating Parallel Processes
(MIT Artificial Intelligence Laboratory, 1976-11)
This paper presents some "laws" that must be satisfied by computations involving communicating parallel processes. The laws take the form of stating restrictions on the histories of computations that are physically realizable. ...
Video Ergo Scio
(MIT Artificial Intelligence Laboratory, 1973-11)
An approach to vision research is described that combines ideas about low level processing with more abstract notions about the representation of knowledge in intelligent systems. A particular problem, of the representation ...
Concurrent Systems Need Both Sequences And Serializers
(MIT Artificial Intelligence Laboratory, 1979-02)
Contemporary concurrent programming languages fall roughly into two classes. Languages in the first class support the notion of a sequence of values and some kind of pipelining operation over the sequence of values. Languages ...
Actor Semantics of PLANNER-73
(MIT Artificial Intelligence Laboratory, 1974-11)
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 ...
Laws for Communicating Parallel Processes
(MIT Artificial Intelligence Laboratory, 1977-05-10)
This paper presents some laws that must be satisfied by computations involving communicating parallel processes. The laws are stated in the context of the actor theory, a model for distributed parallel computation, and ...
PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot
(1970-08-01)
PLANNER is a language for proving theorems and manipulating models in a robot. The language is built out of a number of problem-solving primitives together with a hierarchical control structure. Statements can be asserted ...
Specifying and Proving Properties of Guardians for Distributed Systems
(MIT Artificial Intelligence Laboratory, 1979-05)
In a distributed system where many processors are connected by a network and communicate using message passing, many users can be allowed to access the same facilities. A public utility is usually an expensive or limited ...