Numeric Domains with Summarized Dimensions
No abstract available.
Related papers
- A framework for numeric analysis of array operations POPL 2005
- DelExp: A Relational Container Abstraction: with Applications to Compositional Analysis ECOOP 2026
- Loop Summarization with Rational Vector Addition Systems CAV 2019
- Interactive Abstract Interpretation with Demanded Summarization TOPLAS 2024
- Jigsaw: Toward Conflict-free Vectorized Stencil Computation by Tessellating Swizzled Registers PPoPP 2025
- Types, equations, dimensions and the Pi theorem JFP 2026
- Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java VMCAI 2014
- Non-disjunctive Numerical Domain for Array Predicate Abstraction ESOP 2008