Pages that link to "Item:Q2941173"
From MaRDI portal
The following pages link to A Program Construction and Verification Tool for Separation Logic (Q2941173):
Displayed 9 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)
- 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)
- Convolution as a Unifying Concept (Q5277916) (← links)
- (Q5376651) (← links)