Readings for CS 3500

Required readings

One way to translate an algebraic specification into Java.
Sestoft chapter 1: compilation, loading, and execution
Sestoft chapter 3: Java naming conventions
Sestoft chapter 4: comments and program layout
Sestoft chapter 6: variables, parameters, fields, and scope
Sestoft chapter 9: classes
Sestoft chapter 10: classes and objects in the computer
Sestoft chapter 11: expressions (may omit sections 11.1 through 11.4 and 11.6)
Sestoft chapter 5: types
Sestoft chapter 21: generic types and methods

Supplemental readings

The Java Tutorial contains a succinct discussion of static members and the relationship between classes and objects.
Mark Grand's summary of the Abstract Factory Pattern.

Last updated 20 January 2012.