Pages that link to "Hoare logic"
The following pages link to Hoare logic:
Displaying 9 items.
- Functional programming (← links | edit)
- Frame problem (← links | edit)
- Rice's theorem (← links | edit)
- Static program analysis (← links | edit)
- Design by contract (← links | edit)
- Precondition (← links | edit)
- Postcondition (← links | edit)
- Tony Hoare (← links | edit)
- Merton College, Oxford (← links | edit)