User Tools

Site Tools


plt17:lecture_24

Differences

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

Link to this comparison view

plt17:lecture_24 [2017/10/30 21:13] (current)
hossein created
Line 1: Line 1:
 +====== Lecture 24 ======
 +Lecture 24  {{ :​plt17:​lectures:​lect24:​main.pdf | Slides}}
 +(Verifying Programs with Arrays)
  
 +=== Readings ===
 + 
 +  * Mike Gordon, "​Background Reading on Hoare Logic" [[http://​www.cl.cam.ac.uk/​~mjcg/​Teaching/​2011/​Hoare/​Notes/​Notes.pdf|http://​www.cl.cam.ac.uk/​~mjcg/​Teaching/​2011/​Hoare/​Notes/​Notes.pdf]] \\  (also cached {{ :​plt17:​hoarenotes.pdf |here}} )
 +  ​
plt17/lecture_24.txt ยท Last modified: 2017/10/30 21:13 by hossein