The following pages link to Fifty years of Hoare's logic (Q2280214):
Displaying 7 items.
- Formal semantics of a classical-quantum language (Q2123052) (← links)
- Gentzen's Proof Systems: Byproducts in a Work of Genius (Q2915886) (← links)
- Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs (Q6053407) (← links)
- Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs (Q6152664) (← links)
- Specifying and reasoning about shared-variable concurrency (Q6535828) (← links)
- Verified exact real computation with nondeterministic functions and limits (Q6546605) (← links)
- Semantics, specification logic, and Hoare logic of exact real computation (Q6563064) (← links)
