Pages that link to "Item:Q1225451"
From MaRDI portal
The following pages link to Axiomatic approach to side effects and general jumps (Q1225451):
Displayed 4 items.
- An observationally complete program logic for imperative higher-order functions (Q387994) (← links)
- A compositional natural semantics and Hoare logic for low-level languages (Q877026) (← links)
- Lightweight Separation (Q3543659) (← links)
- Hoare logic for Java in Isabelle/HOL (Q4329634) (← links)