Solving and Interpolating Constant Arrays Based on Weak Equivalences
Abstract elided by the publisher.
Related papers
- Spatial Interpolants ESOP 2015
- SAFARI: SMT-Based Abstraction for Arrays with Interpolants CAV 2012
- Ultimate Automizer with Array Interpolation - (Competition Contribution) TACAS 2015
- Constraint Solving for Interpolation VMCAI 2007
- Enabling Sparse Constant Propagation of Array Elements via Array SSA Form SAS 1998
- Verifying optimizations of concurrent programs in the promising semantics PLDI 2022
- Causality-Based Game Solving CAV 2021
- Optimal Evaluation of Array Expressions on Massively Parallel Machines TOPLAS 1995