6.005 Software Construction, Spring 2016 / Reading 13: Abstraction Functions & Rep Invariants

Online text: ocw.mit.edu/ans7870/6/6.005/s16/classes/13-abstraction-functions-rep-invariants/index.html

Cited passages: Reading 13, How to Establish Invariants: creation, preservation and absence of representation exposure; Reading 13, Invariants, Immutability: mutable aliases through both returned values and constructor arguments; Reading 13, Rep Invariant and Abstraction Function: representation values, abstract values, AF and RI.