The following pages link to (Q4738240):
Displaying 23 items.
- Exploring modal worlds (Q406442) (← links)
- Function extraction (Q436372) (← links)
- Algebraic separation logic (Q549676) (← links)
- Frame rule for mutually recursive procedures manipulating pointers (Q732009) (← links)
- Extending separation logic with fixpoints and postponed substitution (Q820139) (← links)
- Certifying low-level programs with hardware interrupts and preemptive threads (Q835764) (← links)
- Formal verification of C systems code. Structured types, separation logic and theorem proving (Q835768) (← links)
- Relational separation logic (Q879369) (← links)
- Adjunct elimination in context logic for trees (Q964499) (← links)
- Unifying separation logic and region logic to allow interoperability (Q1798668) (← links)
- An adaptation-complete proof system for local reasoning about cloud storage systems (Q2072067) (← links)
- Reasoning about block-based cloud storage systems via separation logic (Q2087457) (← links)
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- Modal algebra and Petri nets (Q2340252) (← links)
- On the relation between concurrent separation logic and concurrent Kleene algebra (Q2347904) (← links)
- A Program Construction and Verification Tool for Separation Logic (Q2941173) (← links)
- On Locality and the Exchange Law for Concurrent Processes (Q3090834) (← links)
- (Q3121529) (← links)
- Safe Modification of Pointer Programs in Refinement Calculus (Q3521993) (← links)
- (Q5376651) (← links)
- Separation Logic Tutorial (Q5504642) (← links)
- Precision and the Conjunction Rule in Concurrent Separation Logic (Q5739357) (← links)
- Concurrent Separation Logic and Operational Semantics (Q5739365) (← links)