Pages that link to "Item:Q2931837"
From MaRDI portal
The following pages link to The ramifications of sharing in data structures (Q2931837):
Displayed 8 items.
- Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms (Q832310) (← links)
- VST-Floyd: a separation logic tool to verify correctness of C programs (Q1663238) (← links)
- Unifying separation logic and region logic to allow interoperability (Q1798668) (← links)
- Extended transitive separation logic (Q2347905) (← links)
- Verifying Concurrent Graph Algorithms (Q3179300) (← links)
- Automated Theorem Proving for Assertions in Separation Logic with All Connectives (Q3454118) (← links)
- Local Reasoning for Global Graph Properties (Q5041096) (← links)
- (Q5875421) (← links)