Γενικά => Γενικά Παιδαγωγικά, Επιστημονικά και Τεχνικά Θέματα => Επιστημονικά Θέματα => Μήνυμα ξεκίνησε από: ether στις 28 Φεβ 2015, 08:55:58 ΠΜ
Τίτλος: Bug (?) στην υλοποίηση της ταξινόμησης σε Java, Android, Python
Αποστολή από: ether στις 28 Φεβ 2015, 08:55:58 ΠΜ
Με χρήση εργαλείων formal verification βρέθηκε (?) bug στην υλοποίηση της ταξινόμησης (TimSort) σε Java, Android, Python http://envisage-project.eu/proving-android-java-and-python-sorting-algorithm-is-broken-and-how-to-fix-it/