Technical Reports

The ICICS/CS Reading Room


1979 UBC CS Technical Report Titles

TR-79-01
In Search of an Optimal Machine Architecture for BCPL
R. Agarwal and Samuel T. Chanson

TR-79-02
Anaphoria in natural Language Understanding: A Survey
Graeme Hirst

TR-79-03 (Abstract not available on-line)
Equality and Domain Closure in First Order Data Bases
Raymond Reiter

TR-79-04 (Abstract not available on-line)
Programming Skill Acquisition --- Progress Report
V. Manis

TR-79-05
Multi-process Structuring and the THOTH Operating System
David R. Cheriton

TR-79-06 (Abstract not available on-line)
Message-Passing, Spaces and Agents
David R. Cheriton

TR-79-07
Saturation Estimation in Interactive Computer Systems
Samuel T. Chanson

TR-79-08
A Logic for Default Reasoning
Raymond Reiter

TR-79-09 (Abstract not available on-line)
Designing an Operating System to be Verifiable
David R. Cheriton

TR-79-10
Process Identification in THOTH
David R. Cheriton

TR-79-11
Three BCPL Machines
Harvey Abramson

TR-79-12
The Pica-B Computer
Harvey Abramson, Mark Fox, J. Peck, V. Manis and M. Gorlick

TR-79-13 (Abstract not available on-line)
Approaching Discourse Computationally: A Review
Richard S. Rosenberg

TR-79-14
Representation Spatial Experience \& Solving Spatial Problems in a Simulated Robot Environment
Peter Forbes Rowat

TR-79-15 (Abstract not available on-line)
The Design of a Verifiable Operating System Kernel
T. Lockhart


If you have any questions or comments regarding this page please send mail to help@cs.ubc.ca.