6.005 | Fall 2008 | Undergraduate

Elements of Software Construction

Lecture Notes

Basics of Mutable Types

Description:

Lecture presentation on heap semantics (aliasing, assignment, field setting), reachability and conceptual storage leaks, the Object Contract and equality properties, hash maps and their representation invariant, and problems caused by mutation of keys.

Resource Type:
Lecture Notes
pdf
493 kB
Basics of Mutable Types

Course Info

Learning Resource Types
Problem Sets
Lecture Notes
Projects
Programming Assignments with Examples