Yüklüyor......
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...
Kaydedildi:
| Yayımlandı: | Automated Reasoning |
|---|---|
| Yazar: | |
| Materyal Türü: | Artigo |
| Dil: | Inglês |
| Baskı/Yayın Bilgisi: |
2020
|
| Konular: | |
| Online Erişim: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7324064/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-51054-1_18 |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|