Note

CS Degree Day 40

CS Degree in 100 Days

19 Jul'25

What I did today?

Lecture 4: Specifications - preconditions, postconditions
Lecture 5: Mutability and immutability
Lecture 6: Abstract data types
Problem set: Implemented a simple Queue ADT in Java

Interesting things I came across

Specifications as contracts

A method specification is a contract between the implementer and the client. If the client satisfies the preconditions, the implementer guarantees the postconditions. This framing of “code as contract” added new perspective to how I think about functions.

Back to notes Return home