Completeness of Hoare-calculi revisited

DOI10.1007/BF01934406zbMATH Open0506.68030MaRDI QIDQ1836976

Bjorn Kirkerud

Publication date: 1982

Published in: BIT (Search for Journal in Brave)

zbMATH Keywords

deduction rule22, 402-418 (1982)complete relative to arithmeticdefinedness ruleextended formal system

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

• Unnamed Item
• Unnamed Item
• Ten Years of Hoare's Logic: A Survey—Part I
• Soundness and Completeness of an Axiom System for Program Verification
• Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
• An axiomatic basis for computer programming

This page was built for publication: Completeness of Hoare-calculi revisited