Search
Now showing items 1-3 of 3
Causal Reconstruction
(1993-02-01)
Causal reconstruction is the task of reading a written causal description of a physical behavior, forming an internal model of the described activity, and demonstrating comprehension through question answering. T his ...
Abstraction in Numerical Methods
(1987-10-01)
We illustrate how the liberal use of high-order procedural abstractions and infinite streams helps us to express some of the vocabulary and methods of numerical analysis. We develop a software toolbox encapsulating the ...
Lisp: A Language for Stratified Design
(1987-08-01)
We exhibit programs that illustrate the power of Lisp as a language for expressing the design and organization of computational systems. The examples are chosen to highlight the importance of abstraction in program ...