Cell Morphing: From Array Programs to Array-Free Horn Clauses
No abstract available.
Related papers
- Data-Driven Verification of Procedural Programs with Integer Arrays CAV 2025
- Bridging Arrays and ADTs in Recursive Proofs TACAS 2021
- Solving Recursion-Free Horn Clauses over LI+UIF APLAS 2011
- Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling TACAS 2015
- Array Folds Logic CAV 2016
- Quantified Invariants via Syntax-Guided Synthesis CAV 2019
- Compiler Optimizations for Asynchronous Systolic Array Programs POPL 1988
- Fast Approximations of Quantifier Elimination CAV 2023