Search
The University of British Columbia
UBC - A Place of Mind
The University of British Columbia
Vancouver Campus
UBC Search
UBC Search
My CS
Menu
Faculty of Science
Computer Science
Main navigation
About
Contact Us
Overview
By the Numbers
Emergencies & Safety
Health & Wellness
Academic Integrity
Diversity, Equity & Inclusion
Media
Reading Room
People
Leadership
Faculty
Staff
In Memoriam
Undergrads
Prospective Undergrads
How to Apply
Degree Programs & Options
Courses and Registration
Academic Advising
Facilities & Labs
Co-op & Careers
Research Opportunities
Scholarships & Financial Assistance
Get Involved
FAQs
Grads
Prospective Grads
Graduate Programs
Registration Info
Grad Courses
Awards & Support for Current Grad Students
Grad Student Life
Research
An Overview
Research Groups
Recent Research News
Recent Research Awards
Research Facilities
Research videos
Spin-off Companies
News & Events
News
Awards
Events
Industry & Alumni
Industry Partnership@CS
Alumni Connections
Tri-Mentoring Program
Tech Career Fair
GIRLsmarts4tech
Jobs & Careers
Department Jobs
Industry Jobs
Career Resources
Engage
Sponsor Us
Donate
Mobile Menu
About
Contact Us
Floor Maps
Overview
By the Numbers
Emergencies & Safety
Health & Wellness
Academic Integrity
Diversity, Equity & Inclusion
Resources
Groups and Activities
Conferences
History
Media
Reading Room
Services
Books & Journals
eBooks
eJournals
Course Reserves
Past Course Reserves
Research & Publications
Theses
CS Theses
Subject Resources
Careers & Job Hunting Resources
Data Analytics
Entrepreneurship
Game & Animation Resources
Game Theory
Technology & Society
People
Leadership
Former Leadership
Faculty
Staff
In Memoriam
Undergrads
Prospective Undergrads
Why Computer Science at UBC?
How to Apply
Admission Processes
Degree Programs & Options
Majors
Combined Majors
Double Majors
Honours
Minors
Mini-Streams
Second Degree options
BCS 20-month 2nd degree
What is BCS(ICS)?
Academic Schedule
How to Apply
Bridging Module
Co-op
FAQs BCS Program
Info for Int'l Students
BCS Alumni Stories
Contact / People
BSc. Second Degree
Go Global Exchange Program
Program Learning Outcomes
Graduation Requirements
Courses and Registration
Registration Info
Introductory Course Options
Core Curriculum
Prerequisites
Course Offerings
Specialty Courses
Labs & Tutorials
CPSC 110 Challenge Exam
Courses Timetable
Wait Lists
Academic Advising
Promotions
Transfer Credit
Making an Appeal
Appeals About Missing Prerequisites
Appeals Involving a Course You Failed Twice
Appeals to Bypass Others on the Waiting List
Appeals Involving Concurrent Courses or a Standing Deferred (SD) Status
Facilities & Labs
Access
Computing Accounts
General Computing
Lab Availability
Drop-in Study Spaces
Co-op & Careers
Co-op Program
Co-op FAQs & Contacts
Research Opportunities
Research-Based Courses
Research Award Opportunities
Previous Undergraduate Student Research Awards
Scholarships & Financial Assistance
Get Involved
Tri-Mentoring Program
What to expect
Responsibilities of Student Mentees
Tri-Mentoring Resources
Volunteer
Upcoming Events
Projects and Competitions
ICPC Programming Competition
FAQs
Grads
Prospective Grads
Admissions
Eligibility
List of Required Undergraduate Courses
Online Application
Documents To Be Uploaded
Transcripts & Degree Certificates
Statement of Intent
Letters of Reference
English Proficiency Requirements
Evaluation & Timeline
Deferral
Transfer Credits
Prospective Grad Programs
Full-Time Master's Programs
PhD-Track MSc Program
Part-Time Master's Program
PhD - Doctoral Program
Awards & Financial Support for Prospective Students
Graduate Programs
MSc Program
12 Credit MSc Thesis (Thesis Master's)
6 Credit MSc Thesis
Master's Essay
MSc Program Requirements
Finding a Supervisor
MSc Program Timeline
Academic Regulations
Master of Data Science
PhD Track within the MSc Program
Finding a Supervisor
Coursework
Program Timeline
PhD Program
PhD Supervisory Committee
Research Proficiency Evaluation (RPE)
RPE Design
RPE Examination
RPE Process
Comprehensive Course Requirement
Courses by Research Area for Comprehensive Course Requirement
Thesis Proposal
PhD Program Timeline
Forms for Each Graduate Program
Registration Info
Grads in CS
Grads outside CS
Non-Degree Students
Undergraduate Students
Grad Courses
Courses - Winter Term 1
Courses - Winter Term 2
Awards & Support for Current Grad Students
Awards and Deadlines
Tuition Fee Scholarships
Financial Assistantship
Policy for Teaching Assistantship
Teaching Assistantship: Conflict of Interest and Tutoring
Grad Student Life
Networking & Mentoring
Research
An Overview
Research Groups
Recent Research News
Recent Research Awards
Research Facilities
Research videos
Spin-off Companies
Spin-off Guide
News & Events
News
Awards
Events
Events Calendar
Talks
Alumni/Industry Lecture Series
Distinguished Lecture Series
Faculty Lecture Series
Industry & Alumni
Industry Partnership@CS
Hire Our Students/Alumni
Alumni Connections
Alumni Panel Series
Alumni/Industry Lecture Series
Stay Connected
Alumni Profiles
Tri-Mentoring Program
Industry Mentors' Expectations
Matching Process
Mentoring Resources
Program Activities
Tech Career Fair
GIRLsmarts4tech
Jobs & Careers
Department Jobs
Faculty & Sessional
Staff
Students
Industry Jobs
Non Co-op Job Postings
Employers: How to Post a Job on this Site
Alumni Job Postings
Career Resources
Finding Career Opportunities
Finding Summer Jobs and Internships
Building CS Skills and Experience
Helpful Job Postings Sites
Making the Most of Online Job Postings
Preparing for the Technical Career Fair: Tips
Useful Company Listings for Identifying Possible Employers
Career Planning
Occupational Information
How to Find Salary Information
Events & Workshops
Engage
Sponsor Us
Donate
Breadcrumb
Home
Technical Reports
Technical Reports
1979
Keywords
TM-79-01
Verex System Programmer's Manual
David Cheriton and Wayne Murphy
TM-79-02
Zed Language Reference Manual
David Cheriton and Patricia Steeves
TM-79-03
Verex Assembler Manual
David Cheriton
TR-79-01
In Search of an Optimal Machine Architecture for BCPL
R. Agarwal and Samuel T. Chanson
TR-79-02
Anaphora in natural Language Understanding: A Survey
Graeme Hirst
TR-79-03
Equality and Domain Closure in First Order Data Bases
Raymond Reiter
TR-79-04
Programming Skill Acquisition --- Progress Report
V. Manis
TR-79-05
Multi-process Structuring and the THOTH Operating System
David R. Cheriton
TR-79-06
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
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
Approaching Discourse Computationally: A Review
Richard S. Rosenberg
TR-79-14
Representing Spatial Experience & Solving Spatial Problems in a Simulated Robot Environment
Peter Forbes Rowat
TR-79-15
The Design of a Verifiable Operating System Kernel
T. Lockhart