plt17:lecture_25
Differences
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]] | ||
| + | | ||
plt17/lecture_25.txt ยท Last modified: 2017/11/01 15:06 by hossein