Forward with Hoare

DOI10.1007/978-1-84882-912-1_5MaRDI QIDQ3163399zbMATH OpenOpenAlexFDO

Authors Mike Gordon, Hélène Collavizza

Publication date 26 October 2010

Published in Reflections on the Work of C.A.R. Hoare (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-84882-912-1_5

zbMATH Keywords

Hoare logicprogram verification

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The axiomatic semantics of programs based on Hoare's logic
• scientific article; zbMATH DE number 2110620
• Towards reasoning about Hoare relations
• scientific article; zbMATH DE number 3848601
• Theories of programming. The life and works of Tony Hoare

Cited in

(6)

• A decomposition rule for the Hoare logic
• Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach
• Matching logic: an alternative to Hoare/Floyd logic
• An Isbell duality theorem for type refinement systems
• Compositional symbolic execution semantics
• Program Construction and Verification Components Based on Kleene Algebra

This page was built for publication: Forward with Hoare

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3163399)