The following pages link to On the Almighty Wand (Q3540188):
Displaying 9 items.
- On the almighty wand (Q418137) (← links)
- Reasoning about sequences of memory states (Q636268) (← links)
- Quantitative separation logic and programs with lists (Q707740) (← links)
- Proof tactics for assertions in separation logic (Q1687747) (← links)
- On the Almighty Wand (Q3540188) (← links)
- Separating Graph Logic from MSO (Q3617721) (← links)
- Beyond Shapes: Lists with Ordered Data (Q3617745) (← links)
- Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding (Q3636908) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
