Pages that link to "Item:Q1158948"
From MaRDI portal
The following pages link to Floyd's principle, correctness theories and program equivalence (Q1158948):
Displaying 9 items.
- Proving program inclusion using Hoare's logic (Q789887) (← links)
- Two theorems about the completeness of Hoare's logic (Q794426) (← links)
- Average case optimality for linear problems (Q796299) (← links)
- Expressiveness and the completeness of Hoare's logic (Q800082) (← links)
- The axiomatic semantics of programs based on Hoare's logic (Q800712) (← links)
- Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs (Q1163369) (← links)
- Determinateness of program equivalence over peano axioms (Q1166269) (← links)
- Hoare's logic and Peano's arithmetic (Q1170877) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Paris, 1985 (Q4724593) (← links)
