Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT
No abstract available.
Related papers
- SSA Translation Is an Abstract Interpretation POPL 2023
- Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution) TACAS 2020
- Improving Abstract Interpretations by Combining Domains TOPLAS 1995
- Succinct Representations for Abstract Interpretation - Combined Analysis Algorithms and Experimental Evaluation SAS 2012
- Synthesis of Super-Optimized Smart Contracts Using Max-SMT CAV 2020
- Using Bounded Model Checking to Focus Fixpoint Iterations SAS 2011
- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) TACAS 2023
- Inductive Program Synthesis by Meta-Analysis-Guided Hole Filling POPL 2026