Search
Now showing items 41-50 of 70
LAMBDA: The Ultimate Declarative
(1976-11-01)
In this paper, a sequel to "LAMBDA: The U ltimate Imperative", a new view of LAMBDA as a renaming operator is presented and contrasted with the usual functional view taken by L ISP. This view, combined with the view of ...
Arithmetic Shifting Considered Harmful
(1976-09-01)
For more than a decade there has been great confusion over the semantics of the standard "arithmetic right shift" instruction. This confusion particularly afflicts authors of computer reference handbooks and of ...
Teaching Teachers LOGO: The Lesley Experiments
(1976-04-01)
This research is concerned with the question of whether or not teachers who lack specialized backgrounds can adapt to and become proficient in the technically complex, philosophically sophisticated LOGO learning ...
Local Methods for Localizing Faults in Electronic Circuits
(1976-11-01)
The work described in this paper is part of an investigation of the issues involved in making expert problem solving programs for engineering design and for maintenance of engineered systems. In particular, the paper ...
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 ...
Viewing Control Structures as Patterns of Passing Messages
(1976-12-01)
The purpose of this paper is to discuss some organizational aspects of programs using the actor model of computation. In this paper we present an approach to modelling intelligence in terms of a society of communicating ...
Pre-Readers' Concepts of the English Word
(1976-11-01)
Pre-Readers exhibit concepts of the English word different from those of literate adults. The inclusive word concept is primary: A word is what we call an utterance and any of its parts. Pre-Readers suffer confusion ...
Capturing Intuitive Knowledge in Procedural Description
(1976-12-01)
Trying to capture intuitive knowledge is a little like trying to capture the moment between what just happened and what is about to happen. Or to quote a famous philosopher, "You can't put your foot in the same river ...
Teaching the Computer to Add: An Example of Problem-Solving in an Anthropomorphic Computer Culture
(1976-12-01)
Computers open up new ways to think about knowledge and learning. Learning computer science should draw upon and feed these new approaches. In a previous paper called "Leading a Child to a Computer Culture" I discuss ...
Looking in the Shadows
(MIT Artificial Intelligence Laboratory, 1976-05)
The registration of an image with a model of the surface being imaged is an important prerequisite to many image understanding tasks. Once registration is achieved, new image analysis techniques can be explored. One approach ...