Pages that link to "Item:Q3925146"
From MaRDI portal
The following pages link to Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer (Q3925146):
Displayed 6 items.
- Semantics of algorithmic languages (Q760200) (← links)
- Expressiveness and the completeness of Hoare's logic (Q800082) (← links)
- The axiomatic semantics of programs based on Hoare's logic (Q800712) (← links)
- Expressing program looping in regular dynamic logic (Q1161284) (← links)
- Some applications of topology to program semantics (Q3340119) (← links)
- A logical analysis of aliasing in imperative higher-order functions (Q5308091) (← links)