Bounded Abstract Interpretation
No abstract available.
Related papers
- Parallel Abstract Interpretation for Polynomial Programs with Range Bound Assertions CAV 2026
- A Logic for the Imprecision of Abstract Interpretations POPL 2026
- Path-Sensitive Abstract Interpretation for WCET Estimation PLDI 2026
- Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis POPL 2022
- Sound Symbolic Execution via Abstract Interpretation and Its Application to Security VMCAI 2023
- Combining abstract interpreters PLDI 2006
- Monadic abstract interpreters PLDI 2013
- Abstracting abstract machines ICFP 2010