3.3 Modeling with Mutable Data

• 3.3.1 Mutable List Structure

• 3.3.2 Representing Queues

• 3.3.3 Representing Tables

• 3.3.4 A Simulator for Digital Circuits

• 3.3.5 Propagation of Constraints