= Reading 13: Abstraction Functions & Rep Invariants
{c}
Online text: https://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.
Back to article page
