On algebra of program correctness and incorrectness

DOI10.1007/978-3-030-88701-8_20OpenAlexW3208160860MaRDI QIDQ2695364

Bernhard Möller, Peter W. O'Hearn, C. A. R. Hoare

Publication date: 30 March 2023

Full work available at URL: https://doi.org/10.1007/978-3-030-88701-8_20

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (3)

Logic for reasoning about bugs in loops over data sequences (IFIL) ⋮ Adversarial logic ⋮ Local completeness logic on Kleene algebra with tests

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Concurrent Kleene algebra and its foundations
• Algebras of modal operators and partial correctness
• First-order dynamic logic
• A completeness theorem for Kleene algebras and the algebra of regular events
• An equational axiomatization of dynamic negation and relational composition
• In praise of algebra
• Local reasoning about the presence of bugs: incorrectness separation logic
• Program proving: KJumps and functions
• Reverse Hoare Logic
• Ten Years of Hoare's Logic: A Survey—Part I
• Demonic operators and monotype factors
• Kleene algebra with domain
• An axiomatic basis for computer programming
• Computer Aided Verification
• On Hoare logic and Kleene algebra with tests

This page was built for publication: On algebra of program correctness and incorrectness