User Tools

Site Tools


plt17:lecture_27

Differences

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

Link to this comparison view

plt17:lecture_27 [2017/11/06 14:47] (current)
hossein created
Line 1: Line 1:
 +====== Lecture 27 ======
 +Lecture 27  {{ :​plt17:​lectures:​lect27:​main.pdf | Slides}}
 +(Introduction to Abstract Interpretation)
  
 +=== Readings ===
 + 
 +  * Cousot, P., and R. Cousot. "​Abstract Interpretation:​ A Unified Lattice Model for Static analysis of Programs by Construction or Approximation of Fixpoints."​ Principles of Programming Languages (1977): 238–52.
plt17/lecture_27.txt · Last modified: 2017/11/06 14:47 by hossein