User Tools

Site Tools


plt17:lecture_19

Differences

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

Link to this comparison view

plt17:lecture_19 [2017/10/18 14:58] (current)
hossein created
Line 1: Line 1:
 +====== Lecture 19 ======
 +Lecture 19  {{ :​plt17:​lectures:​lect19:​main.pdf | Slides}}
 +(Introduction to Axiomatic Semantics)
  
 +=== Readings ===
 + 
 +  * Tony Hoare, ​ [[http://​dx.doi.org/​10.1145/​363235.363259|"​An Axiomatic Basis for Computer Programming"​]] , Communications of the ACM 12, no. 10 (1969): 576–80.
 +  ​
plt17/lecture_19.txt · Last modified: 2017/10/18 14:58 by hossein