More Precise Partition Abstractions
No abstract available.
Related papers
- The trace partitioning abstract domain TOPLAS 2007
- The Systematic Design of Responsibility Analysis by Abstract Interpretation TOPLAS 2022
- Input space splitting for OpenCL CC 2016
- Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting SAS 2016
- An abstract domain for certifying neural networks POPL 2019
- Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript ECOOP 2020
- Mopsa-C with Trace Partitioning and Autosuggestions (Competition Contribution) TACAS 2025
- Trace Partitioning as an Optimization Problem SAS 2024