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
Learning Resource Types
notes
Lecture Notes
assignment
Programming Assignments
