Загрузка...
Efficient Verified Implementation of Introsort and Pdqsort
Sorting algorithms are an important part of most standard libraries, and both, their correctness and efficiency is crucial for many applications. As generic sorting algorithm, the GNU C++ Standard Library implements the introsort algorithm, a combination of quicksort, heapsort, and insertion sort. T...
Сохранить в:
| Опубликовано в: : | Automated Reasoning |
|---|---|
| Главный автор: | |
| Формат: | Artigo |
| Язык: | Inglês |
| Опубликовано: |
2020
|
| Предметы: | |
| Online-ссылка: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7324064/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-51054-1_18 |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|