Pages that link to "Item:Q5049010"
From MaRDI portal
The following pages link to Efficient Verified Implementation of Introsort and Pdqsort (Q5049010):
Displaying 5 items.
- Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms (Q832310) (← links)
- For a few dollars more. Verified fine-grained algorithm analysis down to LLVM (Q2233462) (← links)
- Proving Quicksort Correct in Event-B (Q2994490) (← links)
- A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq (Q3638257) (← links)
- Refinement of parallel algorithms down to LLVM: applied to practically efficient parallel sorting (Q6611962) (← links)