Lecture 27 Slides (Introduction to Abstract Interpretation)

• 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.