Axiomatic proofs of total correctness of programs

DOI10.1016/0020-0190(79)90123-6zbMath0405.68006OpenAlexW2002792546MaRDI QIDQ1257332

N. Soundararajan

Publication date: 1979

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(79)90123-6

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Cites Work

• Unnamed Item
• Axiomatic approach to total correctness of programs
• An axiomatic basis for proving total correctness of goto-programs

This page was built for publication: Axiomatic proofs of total correctness of programs