Reasoning about arrays
From MaRDI portal
Publication:4176940
DOI10.1145/359104.359110zbMath0394.68009OpenAlexW2037247941MaRDI QIDQ4176940
Publication date: 1979
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/359104.359110
Specification and verification (program logics, model checking, etc.) (68Q60) Discrete mathematics in relation to computer science (68R99)
Related Items
Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras, Decision procedures for extensions of the theory of arrays, Symbolic verification method for definite iteration over data structures, Heuristics for the dynamic facility layout problem with unequal-area departments, An algebraic approach to the syntax and semantics of languages with subscripted variables, Problem-oriented verification system and its application to linear algebra programs, A note on Presburger arithmetic with array segments, permutation and equality
