Pages that link to "Item:Q3498431"
From MaRDI portal
The following pages link to Local Reasoning for Storable Locks and Threads (Q3498431):
Displayed 13 items.
- The category-theoretic solution of recursive metric-space equations (Q604478) (← links)
- Certifying low-level programs with hardware interrupts and preemptive threads (Q835764) (← links)
- Temporary Read-Only Permissions for Separation Logic (Q2988642) (← links)
- Verified Software Toolchain (Q3000569) (← links)
- Barriers in Concurrent Separation Logic (Q3000585) (← links)
- Automatic Parallelization and Optimization of Programs by Proof Rewriting (Q3392920) (← links)
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Q4625160) (← links)
- Syntactic soundness proof of a type-and-capability system with hidden state (Q4912884) (← links)
- Verification of Concurrent Systems with VerCors (Q5175776) (← links)
- Multimodal Separation Logic for Reasoning About Operational Semantics (Q5415628) (← links)
- Separation Logic Contracts for a Java-Like Language with Fork/Join (Q5505424) (← links)
- Step-Indexed Kripke Model of Separation Logic for Storable Locks (Q5739354) (← links)
- Concurrent Separation Logic and Operational Semantics (Q5739365) (← links)