Autor:	Peter Lammich
Rok vydání:	2020
Předmět:	Sorting algorithm Correctness Computer engineering Computer science 020204 information systems 0502 economics and business 05 social sciences 0202 electrical engineering electronic engineering information engineering Introsort 050211 marketing 02 engineering and technology
Zdroj:	Automated Reasoning ISBN: 9783030510534 IJCAR (2)
Popis:	Sorting algorithms are an important part of most standard libraries, and both, their correctness and efficiency is crucial for many applications.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::31bc02d8a2addbccac4e953c54f72fbc https://doi.org/10.1007/978-3-030-51054-1_18 Zobrazit plný text záznamu