CS 655 Spring 1999

Instructor

Office: 214 Olsson Hall
Office hours: Tues/Thurs 3:30- 5:00PM and by appt.
Phone: 924-1039
Course electronic mail: pfr@virginia.edu

Lectures	Homework assignments / Announcements
Reading	Exam information
Handouts	Links

Lectures

Two lectures per week. The slides are retrievable electronically.

Introduction (PDF) Introduction (PPT)
Paradigms (Postscript - pdf failed) Paradigms (PPT)
Wegner & Dijkstra (PDF) Wegner & Dijkstra (PPT)
Principles (PDF) Principles (PPT)
ALGOL60 (PDF) ALGOL60 (PPT)
ALGOL68 (PDF) ALGOL68 (PPT)
Block Structure (PDF) Block Structure (PPT)
Encapsulation (PDF) Encasulation (PPT)
Lambda Calculus (PDF) Lambda Calculus (PPT)
Denotational Semantics (PDF) Denotational Semantics (PPT)
Functional Languages (PDF) Functional Languages (PPT)
Types (PDF) BROKEN Types (PPT)
Object Oriented Languages (PDF) Object Oriented Languages (PPT)
Multiple Inheritance / Automated Delegation(PDF) Multiple Inheritance / Automated Delegation(PPT)
Design by Contract(PDF) Design by Contract(PPT)
Garbage Collection(PDF) Garbage Collection(PPT)
Exception Handling(PDF) Exception Handling(PPT)
Deductive Logic(PDF) Deductive Logic(PPT)

Homework assignments / Announcements

Reading

Unit 7 (Object Oriented Languages):

Bjarne Stroustrup What is Object-Oriented Programming? Availible in postscript and pdf.
Antero Taivalsaari On the Notion of Inheritance Availible in pdf.
Gregor Kiczales, John Lamping Issues in the Design and Specification of Class Libraries Availible in pdf.
S. Murer, S. Omohundro, D. Stoutamire, C. Szyperski Iteration Abstraction in Sather Availible in pdf.
J. Viega, P. Reynolds, R. Behrends Automated Delegation is a Viable Alternative to Multiple Inheritance in Class Based Languages Availible in pdf.
(20 April 99: THIS IS THE NEW VERSION of the Viega paper.)

Unit 8 (Object Oriented Type Systems):

Jens Palsberg Type Inference for Objects Availible in pdf.
Jens Palsberg, Michael Schwartzbach Chapter 7 of Object-Oriented Type Systems (Genericity) (in the file drawer)
Ole Agesen Constraint Based Type Inference and Parametric Polymorphism Availible in postscript.
M. Abadi, L. Cardelli An Imperative Object Calculus Availible in postscript and pdf.
Giuseppe Castagna Covariance and Contravariance: Conflict without a Cause Availible in postscript and pdf.

Unit 9 (Reliability):

John Goodenough Exception Handling: Issues and a Proposed Notation
Bjarne Stroustrup Chapter 16 of The Design And Evolution of C++ (Exception Handling)
Bertrand Meyer Applying "Design By Contract"
Paul Wilson Uniprocessor Garbage Collection TechniquesAvailible in postscript

Unit 10 (Various Paradigms):

Jacques Cohen Logic Programming and Constraint Logic Programming Availible in pdf.
William Aitken et al. Transformation in Intentional Programming Availible in postscript and pdf.
Ken Khan Drawings on Napkins, Video-Game Animation, and Other Ways to Program Computers Availible in pdf.

Exam information

Midterm and final: both are take-home and are pledged. last year's midterm (pdf)
The midterm is in two parts, the parts meant to be taken one after the other. You may take either part first. Turn your answers in to Loretta in the CS office as soon as you can (after completing each part), but no later than Friday at 5PM.

Part I of midterm (PS) Part I of midterm (PDF) -- max six hours Part I Q & A (text) -- Access only after starting part I
Part II of midterm (PS) Part II of midterm (PDF) -- max eight hours Part II Q & A (text) -- Access only after starting part II

The final is in two parts, the parts meant to be taken one after the other. You may take either part first. Turn your answers in to Loretta in the CS office, or e-mail answers to pfr *and* gunders @virginia.edu, as soon as you can (turn each part in separately; don't hold on to the first part you finish while completing the second part). No submissions accepted after Tuesday, 11 May at 5PM. I've given you 12 hours on each part, not because I expect you need that much time, but so that you can take breaks and take a stretch occasionally, if you want. Please try not to spend 12 hours on either part. The first part is to answer five out of six short/medium answer questions. The second part is to answer three out of four short/medium answer questions and one out of two longer answer questions. Good luck to all of you!

Part I of final (PS) Part I of final (PDF) -- max twelve hours Part I Q & A (text) -- Access only after starting part I
Part II of final (PS) Part II of final (PDF) -- max twelve hours Part II Q & A (text) -- Access only after starting part II

Handouts

Syllabus (Acrobat Reader - pdf)