Pages that link to "Item:Q1225451"

The following pages link to Axiomatic approach to side effects and general jumps (Q1225451):

Displaying 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)