ADT and Formal Specs
Students revisit ADTs with a focus on formal specification and invariants, learning to separate interface from implementation to manage system complexity.
Students revisit ADTs with a focus on formal specification and invariants, learning to separate interface from implementation to manage system complexity.