Pages that link to "Item:Q5255071"
From MaRDI portal
The following pages link to A theory of indirection via approximation (Q5255071):
Displaying 7 items.
- VST-Floyd: a separation logic tool to verify correctness of C programs (Q1663238) (← links)
- Transfinite Step-Indexing: Decoupling Concrete and Logical Steps (Q2802498) (← links)
- Verified Software Toolchain (Q3000569) (← links)
- Barriers in Concurrent Separation Logic (Q3000585) (← links)
- Time Bounds for General Function Pointers (Q3178280) (← links)
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Q4625160) (← links)
- Bringing Order to the Separation Logic Jungle (Q5055998) (← links)
