The following pages link to (Q3883459):
Displaying 7 items.
- Verification of object-oriented programs: a transformational approach (Q439944) (← links)
- Wythoff games, continued fractions, cedar trees and Fibonacci searches (Q761983) (← links)
- Correctness of programs with Pascal-like procedures without global variables (Q790607) (← links)
- Expressiveness and the completeness of Hoare's logic (Q800082) (← links)
- On termination problems for finitely interpreted ALGOL-like programs (Q1161274) (← links)
- Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs (Q1163369) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
