This shows you the differences between two versions of the page.
— |
plt17:lecture_25 [2017/11/01 15:06] (current) hossein created |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ====== Lecture 25 ====== | ||
+ | Lecture 25 {{ :plt17:lectures:lect25:main.pdf | Slides}} | ||
+ | (Verifying Programs with Dynamic Allocation) | ||
+ | === Optional Readings === | ||
+ | |||
+ | * [[http://www0.cs.ucl.ac.uk/staff/p.ohearn/SeparationLogic/Separation_Logic/SL_Home.html|Separation Logic]] | ||
+ | |