Pages that link to "Item:Q6487931"
From MaRDI portal
The following pages link to A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms (Q6487931):
Displaying 4 items.
- Verifying OpenJDK's sort method for generic collections (Q1725846) (← links)
- Certifying algorithms and relevant properties of reversible primitive permutations with \textsf{Lean} (Q2097420) (← links)
- Decision procedures for sequence theories (Q6535526) (← links)
- Refinement of parallel algorithms down to LLVM: applied to practically efficient parallel sorting (Q6611962) (← links)