On Array Theory of Bounded Elements
No abstract available.
Related papers
- Restricted memory-friendly lock-free bounded queues PPoPP 2020
- NP Satisfiability for Arrays as Powers VMCAI 2022
- Array Folds Logic CAV 2016
- Property Checking Array Programs Using Loop Shrinking TACAS 2018
- Eliminating Array Bound Checking Through Dependent Types PLDI 1998
- Memory Bounds for Concurrent Bounded Queues PPoPP 2024
- Enabling Sparse Constant Propagation of Array Elements via Array SSA Form SAS 1998
- A Verified Implementation of the Bounded List Container TACAS 2018