6.820 | Fall 2015 | Undergraduate

Fundamentals of Program Analysis

Lecture Notes

The Heap: Inferring Loop Invariants about Data Structure Shape, Lecture 20


This is a file that contains information regarding heap: inferring loop invariants about data structure shape.

Resource Type:
Lecture Notes

Course Info

As Taught In
Fall 2015
Learning Resource Types
Lecture Notes
Programming Assignments