Pages that link to "Item:Q1630025"
From MaRDI portal
The following pages link to Proving JDK's dual pivot quicksort correct (Q1630025):
Displaying 9 items.
- Verifying OpenJDK's sort method for generic collections (Q1725846) (← links)
- Quicksort revisited. Verifying alternative versions of quicksort (Q2026813) (← links)
- Formal specification and verification of JDK's identity hash map implementation (Q2165501) (← links)
- Proving Quicksort Correct in Event-B (Q2994490) (← links)
- Efficient Verified Implementation of Introsort and Pdqsort (Q5049010) (← links)
- Integrating ADTs in KeY and their application to history-based reasoning about collection (Q6185826) (← links)
- A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms (Q6487931) (← links)
- Integrating ADTs in KeY and Their Application to History-Based Reasoning (Q6488468) (← links)
- Formal specification and verification of JDK's identity hash map implementation (Q6611956) (← links)