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