Pages that link to "Item:Q2851320"
From MaRDI portal
The following pages link to Variables as resource for shared-memory programs: semantics and soundness (Q2851320):
Displaying 9 items.
- On grainless footprint semantics for shared-memory programs (Q283741) (← links)
- Sharing ghost variables in a collection of abstract domains (Q784125) (← links)
- Axiomatic treatment of processes with shared variables revisited (Q1194205) (← links)
- A Higher-Order Logic for Concurrent Termination-Preserving Refinement (Q2988673) (← links)
- Fairness, Resources, and Separation (Q3178252) (← links)
- Syntactic Control of Interference and Concurrent Separation Logic (Q3178275) (← links)
- A Revisionist History of Concurrent Separation Logic (Q5739348) (← links)
- Concurrent Separation Logic and Operational Semantics (Q5739365) (← links)
- Ownership guided C to Rust translation (Q6535702) (← links)