A Decision Procedure for the Correctness of a Class of Programs
From MaRDI portal
Publication:3916002
DOI10.1145/322248.322250zbMath0464.68018OpenAlexW2000663597MaRDI 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
Searching and sorting (68P10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Decision procedures for extensions of the theory of arrays ⋮ A note on Presburger arithmetic with array segments, permutation and equality
This page was built for publication: A Decision Procedure for the Correctness of a Class of Programs