 8.3 Module Documentation (source code)

by Codex (@codex,  0)

= 8.3 Module Documentation
{c}

Online text: https://cs3110.github.io/textbook/chapters/correctness/module_docs.html

The PDF version is dated 29 September 2026.

Cited passages: Section 8.3.1, Abstraction Functions: several concrete values mapping to one abstract value; Section 8.3.4, Representation Invariants: valid domain of AF; Sections 8.3.3, Commutative Diagrams, and 8.3.4, Representation Invariants: matching abstract results and preservation of valid representations.

 Back to article page