Pages that link to "Item:Q2941173"
From MaRDI portal
The following pages link to A Program Construction and Verification Tool for Separation Logic (Q2941173):
Displaying 11 items.
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Building program construction and verification tools from algebraic principles (Q736461) (← links)
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- Catoids and modal convolution algebras (Q2686581) (← links)
- Effect algebras, Girard quantales and complementation in separation logic (Q2695344) (← links)
- From Proposition to Program (Q2798255) (← links)
- A Discrete Geometric Model of Concurrent Program Execution (Q2971172) (← links)
- (Q3121529) (← links)
- Unifying Heterogeneous State-Spaces with Lenses (Q3179407) (← links)
- (Q5875359) (← links)
- Completeness of Nominal PROPs (Q5883754) (← links)
