[PL-sem-jr] Abstract Interpretation: Feb 3, 10am

[Max New]

Continuing our theme of foundations of static analysis, I will do my best
presenting the
1977 paper "Abstract Interpretation: A Unified Lattice Model for Static
Analysis of Programs by Construction or Approximation of Fixpoints" by
Patrick and Radhia Cousot.

-Max Stewart New
-------------- next part --------------
HTML attachment scrubbed and removed