User Tools

Site Tools


plt17:lecture_25

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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