plt17:lecture_24

Lecture 24

Lecture 24 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
(also cached here )

plt17/lecture_24.txt · Last modified: 2017/10/30 21:13 by hossein