Pages that link to "Item:Q5410696"
From MaRDI portal
The following pages link to Verified Compilation for Shared-Memory C (Q5410696):
Displaying 5 items.
- A formal C memory model for separation logic (Q1694027) (← links)
- The Essence of Higher-Order Concurrent Separation Logic (Q2988664) (← links)
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Q4625160) (← links)
- Trace-Relating Compiler Correctness and Secure Compilation (Q5041085) (← links)
- (Q5119393) (← links)
