Efficient Verified Implementation of Introsort and Pdqsort
Peter Lammich
Topics & Concepts
QuicksortComputer scienceSorting algorithmImplementationCorrectnessMerge sortParallel computingSortingBenchmark (surveying)sortProgramming languageSet (abstract data type)Lazy evaluationExtension (predicate logic)Theoretical computer scienceAlgorithmFunctional programmingDatabaseGeodesyGeographyLogic, programming, and type systemsParallel Computing and Optimization TechniquesSoftware Testing and Debugging Techniques