OpenJDK’s Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case
- 16 July 2015
- book chapter
- Published by Springer Nature
- p. 273-289
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Reasoning and Verification: State of the Art and Current TrendsIEEE Intelligent Systems, 2014
- Proof Pearl: The KeY to Correct and Stable SortingJournal of Automated Reasoning, 2014
- Reuse in Software Verification by Abstract Method CallsLecture Notes in Computer Science, 2013
- Real-time Java API specifications for high coverage test generation2012
- Proof Pearl—A Mechanized Proof of GHC’s MergesortJournal of Automated Reasoning, 2012
- Verifying a Synthesized Implementation of IEEE-754 Floating-Point Exponential Function using HOLThe Computer Journal, 2009
- Formalisation and Verification of Java Card Security Properties in Dynamic LogicLecture Notes in Computer Science, 2005
- Proof of a recursive program: QuicksortThe Computer Journal, 1971