Domain Precision in Galois Connection-Less Abstract Interpretation
No abstract available.
Related papers
- A Galois connection calculus for abstract interpretation POPL 2014
- Constructive Galois connections: taming the Galois connection framework for mechanized metatheory ICFP 2016
- Constructive Galois Connections JFP 2019
- Control-flow analysis of function calls and returns by abstract interpretation ICFP 2009
- Hypercollecting semantics and its application to static analysis of information flow POPL 2017
- Quantum abstract interpretation PLDI 2021
- Limits and Difficulties in the Design of Under-Approximation Abstract Domains TOPLAS 2024
- Galois transformers and modular abstract interpreters: reusable metatheory for program analysis OOPSLA 2015