Pages that link to "Item:Q2550288"
From MaRDI portal
The following pages link to Program proving: KJumps and functions (Q2550288):
Displaying 7 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)
