The following pages link to (Q3862382):
Displayed 6 items.
- Proving program inclusion using Hoare's logic (Q789887) (← links)
- Average case optimality for linear problems (Q796299) (← links)
- Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic (Q1139368) (← 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)
- Program composition via unification (Q1331925) (← links)