Refining Abstract Interpretation-Based Static Analyses with Hints
Abstract elided by the publisher.
Related papers
- Improving Thread-Modular Abstract Interpretation SAS 2021
- Fully abstract from static to gradual POPL 2021
- Monadic abstract interpreters PLDI 2013
- Compiling with Abstract Interpretation PLDI 2024
- SSA Translation Is an Abstract Interpretation POPL 2023
- Logics for Extensional, Locally Complete Analysis via Domain Refinements ESOP 2023
- Refining Static Analyses by Trace-Based Partitioning Using Control Flow SAS 1998
- A²I: abstract² interpretation POPL 2019