#Abstract-Interpretation
2 posts in tag “Abstract-Interpretation”.
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.
Abstract Interpretation: Cousot's Galois Connection Framework, Widening/Narrowing, and Sound Static Analysis by Construction
2021-12-29A deep exploration of abstract interpretation—the mathematical theory of sound approximation that underpins every modern static analyzer, from the Astrée system to the Rust borrow checker.