Proving JDK's dual pivot quicksort correct
From MaRDI portal
Publication:1630025
DOI10.1007/978-3-319-72308-2_3zbMath1403.68047OpenAlexW2773627046MaRDI QIDQ1630025
Peter H. Schmitt, Jonas Schiffl, Mattias Ulbrich, Bernhard Beckert
Publication date: 7 December 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-72308-2_3
Related Items
Efficient Verified Implementation of Introsort and Pdqsort, Formal specification and verification of JDK's identity hash map implementation, Generalized test tables: a domain-specific specification language for automated production systems, Integrating ADTs in KeY and their application to history-based reasoning about collection