TU Darmstadt / ULB / TUbiblio

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

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

Item Type: Conference or Workshop Item
Erschienen: 2015
Editors: Kroening, Daniel ; Pasareanu, Corina S.
Creators: Gouw, Stijn de ; Rot, Jurriaan ; de Boer, Frank S. ; Bubel, Richard ; 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
20 Department of Computer Science > Software Engineering
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:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details