Proving JDK's Dual Pivot Quicksort Correct

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert, Jonas Schiffl, Peter H. Schmitt und Mattias Ulbrich
In:9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2017)
Jahr:2017
Preprint/PDF:vstte2017.pdf

BibTeX

@InProceedings{BeckertSchifflEA2017,
  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
}