User Tools

Site Tools


plt17:lecture_27

Lecture 27

Lecture 27 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