Pages that link to "Item:Q5639351"
From MaRDI portal
The following pages link to Proof of a recursive program: Quicksort (Q5639351):
Displaying 11 items.
- Quicksort (Q32511) (← links)
- Experiments in program verification using Event-B (Q432154) (← links)
- The use of Hoare's method of program verification for the Quicksort algorithm (Q1239604) (← links)
- Verifying OpenJDK's sort method for generic collections (Q1725846) (← links)
- A divide-and-conquer approach for reconstruction of \(\{C_{ \geq 5}\}\)-free graphs via betweenness queries (Q2143136) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Proof pearl: The KeY to correct and stable sorting (Q2351413) (← links)
- Proving Quicksort Correct in Event-B (Q2994490) (← links)
- Being and Change: Reasoning About Invariance (Q3449632) (← links)
- (Q5020652) (← links)
- Efficient Verified Implementation of Introsort and Pdqsort (Q5049010) (← links)
