Printable Postscript and PDF files are available on the contents page for each topic listed below. You may also wish to examine the lecture notes for Spring, 2000, some of which are indexed and searchable.
| Topic | Chapter | ||
| Background | |||
| Introduction and Language Evaluation | 1 | ||
| History and Evolution of PLs | 2 | ||
| Paradigms | |||
| Imperative PLs (Ex: Pascal) | |||
| Functional PLs (Ex: Scheme) | 14 | ||
| Logic PLs (Ex: Prolog) | 15 | ||
| Object-Oriented PLs (Ex: Smalltalk) | 11 | ||
| Describing Languages | |||
| Syntax | 3 | ||
| Semantics | 3 | ||
| Underlying Data Features | |||
| Names and Binding | 4 | ||
| Data Types | 5 | ||
| Arithmetic Expressions | 6 | ||
| Functional Programming Again | |||
| ML | 14 | ||
| Underlying Control Features | |||
| Control Structures | 7 | ||
| Subprograms and Their Implementation | 8-9 | ||
| Additional Material, As Time Allows | |||
| Abstract Data Types | 10 | ||
| Concurrency | 12 | ||
| Exceptions | 13 | ||
| Examination Review Notes | |||