The following pages link to Reasoning about arrays (Q4176940):
Displaying 8 items.
- Heuristics for the dynamic facility layout problem with unequal-area departments (Q1044151) (← links)
- An algebraic approach to the syntax and semantics of languages with subscripted variables (Q1053444) (← links)
- A note on Presburger arithmetic with array segments, permutation and equality (Q1073009) (← links)
- Symbolic verification method for definite iteration over data structures (Q1285767) (← links)
- Problem-oriented verification system and its application to linear algebra programs (Q1311971) (← links)
- Decision procedures for extensions of the theory of arrays (Q2457800) (← links)
- Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras (Q5098718) (← links)
- Relation-algebraic verification of disjoint-set forests (Q6614547) (← links)