Module
Design by Contract and Specification of ADTs
Sign in to add this module to your path and practice.
About
Preconditions, postconditions, invariants; relating ADTs to classes/modules.
Goal
Write precise contracts for ADT operations and use them to reason about correctness.
Unlocks
Tutor
Ask questions about this module.
Hi — I'm your tutor for Design by Contract and Specification of ADTs. Ask about the concepts, goal, or where you're stuck.