What's Decidable About Arrays?
No abstract available.
Related papers
- Decision Procedures for Sequence Theories CAV 2023
- Even Simple Programs are Hard to Analyze POPL 1975
- Eliminating Array Bound Checking Through Dependent Types PLDI 1998
- What's Decidable about Weak Memory Models? ESOP 2012
- Discovering properties about arrays in simple programs PLDI 2008
- Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic CPP 2024
- Automatic Verification of Integer Array Programs CAV 2009
- Decidable subtyping for path dependent types POPL 2020