Technical Reports
1976
PASCAL/UBC User's Guide
PASCAL/UBC Summary
PASCAL/UBC User's Guide
TEXTURE: A Document Processor
MODEL-DRIVEN INTERPRETATION IN INTELLIGENT VISION SYSTEMS
INTERPRETATION-DIRECTED SEGMENTATION OF ERTS IMAGES
On the Stability of Boundary Conditions for Separable Difference Approximations to Parabolic Equations
TOSI: A Tree Oriented String Interpreter for the Design and Implementation of Semantics
Two Canonical Forms for Programs
ANTICS - A System for Animating LISP Programs
A Practical Examination -of Some Numerical Methods for Linear Discrete Ill-Posed Problems
WHISPER: A Computer Implementation Using Analogues in Reasoning
The Design of a High-level, Language-Independent Symbolic Debugging System
The Logical Semantics of Program Schemas and Program Verification