Proving JDK's Dual Pivot Quicksort Correct

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert, Jonas Schiffl, Peter H. Schmitt, and Mattias Ulbrich
In:9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2017)
Year:2017
Links:

BibTeX

@InProceedings{BeckertEtAl2017a,
  title      = {Proving {JDK's} Dual Pivot Quicksort Correct},
  author     = {Bernhard Beckert and Jonas Schiffl and Peter H. Schmitt
                  and Mattias Ulbrich},
  booktitle  = {9th Working Conference on Verified Software: Theories, Tools, and Experiments ({VSTTE} 2017)},
  year       = 2017,
  month      = jul,
  note       = {To appear}
}