Spring 2025

A few minor improvements

Spring 2024

• Added a brief chapter on "Closed types"
• Added a snippet on record patterns in Dynamic binding.
• Some minor clarifications of the meaning of @creates

Spring 2023

Minor improvements only:

• Chapters "Polymorphism" and "Dynamic binding": added some comments on arrays.

Fall 2022

Minor improvements only

Spring 2022

Minor improvements only.

Fall 2021

• Split the Inheritance chapter into a chapter on Polymorphism and a chapter on Dynamic binding
• Added brief discussions of JDK 16 features Pattern matching and Record classes
• Some refinements on documenting nested abstractions
• Dropped @basic

Spring 2021

• Moved the material on inheritance before the material on entity-relationship abstractions
• Added a chapter on Lists, sets, and maps
• Added material on concepts to the start of the chapter on How to document single-object abstractions

Fall 2020

2020.08

Break long lines

Course notes PDF version 0.2

In this version, comments are upright instead of slanted, and colored blue.

Course notes PDF version 0.1

Script for making a PDF