Lab 04: Modeling Data Structures
Review: Lecture 04
Continued in Lecture 05
Overview:
Insertion into Doubly-Linked List
Language with Dynamic Allocation
Semantics of Dynamic Object Allocation
Semantics of Field Reads and Writes
Semantics of Array Manipulations
Assertions for Correct Use of Arrays and Heaps