Lecture Notes
The Heap: Inferring Loop Invariants about Data Structure Shape, Lecture 20
Description:
This is a file that contains information regarding heap: inferring loop invariants about data structure shape.
Resource Type:
Lecture Notes
pdf
741 kB
The Heap: Inferring Loop Invariants about Data Structure Shape, Lecture 20
Course Info
Instructor
Departments
As Taught In
Fall
2015
Level
Course Info
Instructor
Departments
As Taught In
Fall
2015
Level
Learning Resource Types
notes
Lecture Notes
assignment
Programming Assignments
