The following pages link to (Q3050415):
Displaying 4 items.
- Expressiveness and the completeness of Hoare's logic (Q800082) (← links)
- Floyd's principle, correctness theories and program equivalence (Q1158948) (← links)
- Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs (Q1163369) (← links)
- Computation by `While' programs on topological partial algebras (Q1292414) (← links)
