#Program-Analysis
1 post in tag “Program-Analysis”.
Abstract Interpretation: The Cousot Framework, Galois Connections, and Sound Static Analysis by Construction
2022-01-20A 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.