A Decision Procedure for the Correctness of a Class of Programs
From MaRDI portal
Publication:3916002
DOI10.1145/322248.322250zbMath0464.68018MaRDI QIDQ3916002
Publication date: 1981
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/322248.322250
68P10: Searching and sorting
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
A note on Presburger arithmetic with array segments, permutation and equality, Decision procedures for extensions of the theory of arrays