|
|
|
Last revised May 15, 2009
Revised Syllabus
* Individual reading Overview Readings: Chapter 1.
* January 26 - 28 Syntax. Readings: Chapter 2.
* February 2 - 4 Symbolic names. Readings: Chapter 4.
* February 9 - 26 Data types. Readings: Chapter 5.
* February 18 - 23 Type systems. Readings: Chapter 6.
* February March 2 - 4 Semantics. Readings: Chapter 7. Sections 7.1 - 7.5.
Chapter 8, Sect. 8.1, 8.2, and 8.4 are required readings for graduate students.
* March 9 Functions. Readings: Chapter 9.
* March 11 - 18 Imperative programming. Readings: Chapter 12 Sections 12.1 - 12.5.
* March 18 - 25 Object-oriented programming. Readings: Chapter 13, except Section 13.4.
* April 6 - 15 Functional programming. Readings: Chapter 14.
* April 20 - 22 Logic programming. Readings: Chapter 15 Sections 15.1, 15.2.
* April 20 - 22 Event-driven programming. Readings: Chapter 16.
* Graduate Students only: Concurrent programming. Readings: Chapter 17 Sections 17.1 - 17.3.
* May 4 - 13 Program correctness. Readings: Chapter 18.
|
|
|
|
|
|
|
