Pages that link to "Item:Q794426"
From MaRDI portal
The following pages link to Two theorems about the completeness of Hoare's logic (Q794426):
Displaying 5 items.
- Proving program inclusion using Hoare's logic (Q789887) (← links)
- Average case optimality for linear problems (Q796299) (← links)
- The axiomatic semantics of programs based on Hoare's logic (Q800712) (← links)
- Some general incompleteness results for partial correctness logics (Q1110500) (← links)
- Hoare's logic and Peano's arithmetic (Q1170877) (← links)
