TU Darmstadt / ULB / TUbiblio

OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case

de Gouw, Stijn and Rot, Jurriaan and de Boer, Frank S. and Bubel, Richard and Hähnle, Reiner
Kroening, Daniel and Pasareanu, Corina S. (eds.) (2015):
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case.
Springer, In: Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, In: Lecture Notes in Computer Science, DOI: 10.1007/978-3-319-21690-4₁₆, [Online-Edition: https://doi.org/10.1007/978-3-319-21690-4_16],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2015
Editors: Kroening, Daniel and Pasareanu, Corina S.
Creators: de Gouw, Stijn and Rot, Jurriaan and de Boer, Frank S. and Bubel, Richard and Hähnle, Reiner
Title: OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case
Language: German
Series Name: Lecture Notes in Computer Science
Volume: 9206
Publisher: Springer
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Event Title: Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Date Deposited: 27 Apr 2018 10:48
DOI: 10.1007/978-3-319-21690-4₁₆
Official URL: https://doi.org/10.1007/978-3-319-21690-4_16
Export:

Optionen (nur für Redakteure)

View Item View Item