Cargando…
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...
| Autores principales: | , , , , , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
Springer Netherlands
2017
|
| Materias: | |
| 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 |