- Efficient Verified Implementation of Introsort and Pdqsort
2020/01/01 by Peter Lammich · 1 citation
Computer Science · #Algorithm #Benchmark (surveying) #Computer science #Correctness #Database #Extension (predicate logic) #Functional programming #Implementation #Lazy evaluation #Logic, programming, and type systems #Merge sort #Parallel Computing and Optimization Techniques #Parallel computing #Programming language #Quicksort #Set (abstract data type) #Software Testing and Debugging Techniques #Sorting #Sorting algorithm #Theoretical computer science #sort