Exam 2 will be handed out Thursday, 18 November and due at the beginning of class on Tuesday, 23 November. It will cover all material in the class through Class 23, but focus primarily on content from Problem Sets 4 and 5.
Topics you should expect to see on the exam include:
- Subtyping, Inheritance, Dynamic Dispatch
- Behavioral Subtyping rules, substitution principle
- Concurrency abstraction
- Race conditions, deadlocks
- Java Security, bytecode verification, code safety
There may also be questions integrating important ideas from earlier in the class such as specification, data abstraction, validation, and software design.
If there are topics you would like me to review in class Tuesday, send them to me by Monday.