A Decision Procedure for the Correctness of a Class of Programs

DOI10.1145/322248.322250zbMath0464.68018OpenAlexW2000663597MaRDI QIDQ3916002

Prabhaker Mateti

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

zbMATH Keywords

sorting algorithmsnonresolution theorem proving

Mathematics Subject Classification ID

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