Completed
the linked list predicate
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
SuSLik: Deductive Synthesis of Safe Programs with Pointers - Tutorial 1b
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 follow along
- 3 we've come a long way...
- 4 program synthesis with guarantees
- 5 this tutorial
- 6 example: swap
- 7 demo: swap
- 8 exercise 1: rotate three
- 9 separation logic (SL)
- 10 programs
- 11 SL assertions
- 12 example triples
- 13 example: dispose
- 14 dynamic data structures
- 15 the linked list predicate
- 16 demo: dispose a list
- 17 example: copy
- 18 linked list with elements
- 19 demo: copy a list
- 20 exercise 2: single to double
