サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
TGS2024
envisage-project.eu
On this website we provide the material referenced in the paper “OpenJDK’s java.utils.Collection.sort() is broken: The good, the bad and the worst case” in particular the test generator, which breaks TimSort, as well as the source and proof of the fixed and verified version. The paper has been submitted to CAV’15 and is currently under review. Update: The paper has now been accepted. The final ve
このページを最初にブックマークしてみませんか?
『envisage-project.eu』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く