Differences

This shows you the differences between two versions of the page.

--- course_outline [2011/01/05 18:13] – jonathan
+++ course_outline [2011/01/05 18:15] (current) – jonathan
@@ Line 26: / Line 26: @@
 What does it mean for a class to be correct? Proof obligations.
-**Readings**: Chapters 7-8. Classes - Objects
+**Required Readings**: Chapters 7-8. Classes - Objects
-===== Week 3 (March 16th) =====
+===== Week 3  =====
 **Readings**: Chapter 10 -  11-1 .. 11-9. Genericity - Design by Contract
@@ Line 39: / Line 39: @@
-===== Week 4 (March 23) =====
+===== Week 4  =====
  **Readings**: Chapters 11-11, 11-12, chapter 26. See Resources for additional notes on Tuples and Agents.