Program-Analysis

• Abstract Interpretation: The Cousot Framework, Galois Connections, and Sound Static Analysis by Construction · 2022-01-20

  A rigorous exploration of abstract interpretation—Patrick and Radhia Cousot's unifying framework for static program analysis, from Galois connections to widening operators and the soundness proofs that guarantee analysis correctness.

• Principles of Program Analysis