This is a highly approximate syllabus. Expect
topics, assignments, ordering, and almost everything else to change.
Class 01
(Monday, January 24, 2005)
Introduction to the Course
Assignments
- Read Wegner's
Programming Languages - The First 25 Years
.
Related Pages:
Overview:
- What is a programming language?
- How should we study programming languages?
- Why study programming languages?
- Course details
Class 02
(Wednesday, January 26, 2005)
An Abbreviated History of Programming Languages
Assignments
Related Pages:
Overview:
- Exercise: Dating key ideas.
- An abbreviated history of programming languages.
Class 03
(Friday, January 28, 2005)
SOP: Basics of Boolean Logic
Assignments
- Read C. A. R. Hoare's "Hints on Programming Language Design" (due Wednesday).
- Read chapter 2 of Gries (due Friday).
Related Pages:
Overview:
- Background: Why study Gries and The Science of Programming?
- Boolean basics
- A grammar for Boolean propositions
- Boolean proof and reasoning
Class 04
(Monday, January 31, 2005)
Detour: Growing a Language
Class 05
(Wednesday, February 2, 2005)
Basics of Programming Language Design
Due
Assignments
Related Pages:
Overview:
- Designing a language
- Design criteria
- More design criteria
Class 06
(Friday, February 4, 2005)
SOP: Boolean Reasoning
Due
Assignments
Related Pages:
Overview:
- How to prove
- Basic laws
- Other issues
Class 07
(Monday, February 7, 2005)
Scheme 1: Reading the Scheme Report
Due
Assignments
Related Pages:
Overview:
- An overview of R5RS
- Basics of the lambda calculus
- Object lifetimes and garbage collection
- Continuations
- Other topis
Class 08
(Wednesday, February 9, 2005)
Scheme 2: Continuations
Class 09
(Friday, February 11, 2005)
Scheme 3: Semantics (1)
Class 10
(Monday, February 14, 2005)
Scheme 4: Semantics (2)
Assignments
- For Friday: Useful application of continuations.
- By 8 p.m. Tuesday: New questions on R5RS.
Related Pages:
Overview:
- Background: What purpose does Section 7 serve?
- Basics: Notational issues.
- Basics: Important sets and meaning functions.
- Your first few meanings.
Class 11
(Wednesday, February 16, 2005)
Scheme 5: Semantics (3)
Class 12
(Friday, February 18, 2005)
Cancelled
Class 13
(Monday, February 21, 2005)
Scheme 6: Semantics (4)
Related Pages:
Class 14
(Wednesday, February 23, 2005)
Scheme 7: Semantics (5)
Class 15
(Friday, February 25, 2005)
Cancelled
Class 16
(Monday, February 28, 2005)
SOP: Predicates
Class 17
(Wednesday, March 2, 2005)
SOP: Array Assertions
Related Pages:
Overview:
- What is an array?
- Whee! Notation.
- Example.
Class 18
(Friday, March 4, 2005)
SOP: Gries-Style Documentation
Class 19
(Monday, March 7, 2005)
Types (1)
Class 20
(Wednesday, March 9, 2005)
Types (2)
Class 21
(Friday, March 11, 2005)
SOP: Weakest Preconditions
Class 22
(Monday, March 14, 2005)
FP (1)
Class 23
(Wednesday, March 16, 2005)
FP (2)
Class 24
(Friday, March 18, 2005)
SOP: Reading Gries, Revisited
Class 25
(Monday, April 4, 2005)
Haskell (1)
Class 26
(Wednesday, April 6, 2005)
Haskell (2)
Class 27
(Friday, April 8, 2005)
Haskell (3)
Class 28
(Monday, April 11, 2005)
SOP: Semantics of Assignment (1)
Class 29
(Wednesday, April 13, 2005)
SOP: Semantics of Assignment (2)
Class 30
(Friday, April 15, 2005)
SOP: Semantics of Conditionals
Class 31
(Monday, April 18, 2005)
Object-Oriented Programming (1)
Class 32
(Wednesday, April 20, 2005)
Object-Oriented Programming (2)
Break runs from 5:00 p.m. on Friday, March 17, 1998 to
8:00 a.m. on Monday, April 3.
Class 33
(Friday, April 22, 2005)
SOP: Semantics of Iteration
Class 34
(Monday, April 25, 2005)
Smalltalk (1)
Class 35
(Wednesday, April 27, 2005)
Smalltalk (2)
Class 36
(Friday, April 29, 2005)
Smalltalk (3)
Class 37
(Monday, May 2, 2005)
SOP: Introduction to Program Development
Class 38
(Wednesday, May 4, 2005)
SOP: From Invariants to Loops
Class 39
(Friday, May 6, 2005)
SOP: Designing Invariants
Class 40
(Monday, May 9, 2005)
Logic Programming (1)
Class 41
(Wednesday, May 11, 2005)
Logic Programming (2)
Class 42
(Friday, May 13, 2005)
Wrapup
Class 43
()
Class 44
()
Class 45
()
Class 46
()
Class 47
()
Class 48
()
Class 49
()
Class 50
()
Class 51
()
Class 52
()
Attendance is particularly important this week.
Class 53
()
Class 54
()
Class 55
()
Class 56
()
The history will not include small changes to the summaries of
individual classes or perhaps even on the arrangement of courses.
You can find more information on such changes
in the individual outlines.
Friday, 12 January 2001 [Samuel A. rebelsky]
- First generic version, based on syllabi of years past.
Tuesday, 7 January 2003 [Samuel A> Rebelsky]
- Slight changes to generic format.
;
Check with Bobby