Verifying OpenJDK’s Sort Method for Generic Collections

TimSort is the main sorting algorithm provided by the Java standard library and many other programming frameworks. Our original goal was functional verification of TimSort with mechanical proofs. However, during our verification attempt we discovered a bug which causes the implementation to crash by...

Descripción completa

Detalles Bibliográficos
Autores principales: de Gouw, Stijn, de Boer, Frank S., Bubel, Richard, Hähnle, Reiner, Rot, Jurriaan, Steinhöfel, Dominic
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer Netherlands 2017
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6404383/
https://www.ncbi.nlm.nih.gov/pubmed/30930511
http://dx.doi.org/10.1007/s10817-017-9426-4

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6404383/
https://www.ncbi.nlm.nih.gov/pubmed/30930511
http://dx.doi.org/10.1007/s10817-017-9426-4

Ejemplares similares