10.03.2015 08:37 Uhr, Quelle: Heise

Fehler in Standardsortieralgorithmus mit formalen Methoden aufgedeckt

Android, Java und Groovy nutzen alle den TimSort-Algorithmus. Informatiker eines Verbundprojekts konnten mit Hilfe eines von ihnen entwickelten Tools nun einen Fehler in der Implementierung feststellen und beheben.

Weiterlesen bei Heise