Pages that link to "Item:Q2550288"
From MaRDI portal
The following pages link to Program proving: KJumps and functions (Q2550288):
Displaying 17 items.
- Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (Q444460) (← links)
- On verification of programs with goto statements (Q801657) (← links)
- A complete axiomatic semantics of spawning (Q808281) (← links)
- A compositional natural semantics and Hoare logic for low-level languages (Q877026) (← links)
- Semantical analysis of specification logic (Q913527) (← links)
- Proof theory for exception handling in a tasking environment (Q918725) (← links)
- A mechanical analysis of program verification strategies (Q928673) (← links)
- Hierarchical program specification and verification - a many-sorted logical approach (Q1138904) (← links)
- Continuations in possible-world semantics (Q1178704) (← links)
- Axiomatic semantics for ''escape'' statements (Q1182114) (← links)
- Axiomatic approach to side effects and general jumps (Q1225451) (← links)
- Remarks on 'Program proving: Jumps and functions' by M. Clint and C.A.R. Hoare (Q1225928) (← links)
- The use of Hoare's method of program verification for the Quicksort algorithm (Q1239604) (← links)
- Automatic program verification. I: A logical basis and its implementation (Q1843170) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Weakest preconditioned goto axiom (Q2680222) (← links)
- On algebra of program correctness and incorrectness (Q2695364) (← links)
