Pages that link to "Item:Q3694663"
From MaRDI portal
The following pages link to Side effects and aliasing can have simple axiomatic descriptions (Q3694663):
Displaying 5 items.
- Proof obligations for blocks and procedures (Q919838) (← links)
- A generic complete dynamic logic for reasoning about purity and effects (Q973056) (← links)
- Inferring the equivalence of functional programs that mutate data (Q1196301) (← links)
- Hoare logic for Java in Isabelle/HOL (Q4329634) (← links)
- Equivalence in functional languages with effects (Q4939702) (← links)