Formele methoden leggen fout in Java's sorteeralgoritme bloot

de Gouw, Stijn; de Boer, Frank

Afgelopen februari dienden onderzoekers van het Centrum Wiskunde & Informatica een bugreport in voor Java. Het standaard sorteeralgoritme, Timsort, bleek in specifieke gevallen te kunnen crashen. De fout kwam aan het licht toen ze het algoritme met formele methoden doorlichtten. Frank de Boer en Stijn de Gouw van het CWI leggen de kwestie uit.

Additional Metadata
ACM	Software/Program Verification (acm D.2.4), Specifying and Verifying and Reasoning about Programs (acm F.3.1)
THEME	Software (theme 1)
Journal	Bits&Chips
Project	Engineering Virtualized Services
Organisation	Computer Security
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	de Gouw, S., & de Boer, F. (2015). Formele methoden leggen fout in Java's sorteeralgoritme bloot. Bits&Chips.

Free Full Text ( Final Version , 1mb )

Formele methoden leggen fout in Java's sorteeralgoritme bloot

Publication

Publication

Address

Publishing at CWI

Questions or comments?

Formele methoden leggen fout in Java's sorteeralgoritme bloot

Publication

Publication

Workflow

Workflow

Add Content