Reading material

The course webpage. If you have questions or comments about the webpage, send the instructor email or go to his office hours (preferably before Monday June 4 when the course outline will be finalized).

If you use the first edition of the textbook, follow the reading material in orange. If you use the second edition, follow the reading material in brown.

(1st) Page 41 and 42 (section on loop invariants)

(2nd) Page 109 and 110 (section on loop invariants)

Additional material

Exceptions Code conventions See manual page of ccc. See also Java code conventions.

Java documentation comments


What is the main difference between assertions (like York.assert(...)) and exceptions?