Pages that link to "Item:Q1725846"
From MaRDI portal
The following pages link to Verifying OpenJDK's sort method for generic collections (Q1725846):
Displaying 6 items.
- Proving JDK's dual pivot quicksort correct (Q1630025) (← links)
- Minimal coverability tree construction made complete and efficient (Q2200824) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- On the worst-case complexity of TimSort (Q5009561) (← links)
- (Q5009630) (← links)
- A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms (Q6487931) (← links)