Pages that link to "Item:Q2988664"
From MaRDI portal
The following pages link to The Essence of Higher-Order Concurrent Separation Logic (Q2988664):
Displayed 4 items.
- Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits (Q670699) (← links)
- VST-Floyd: a separation logic tool to verify correctness of C programs (Q1663238) (← links)
- Proof tactics for assertions in separation logic (Q1687747) (← links)
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Q4625160) (← links)