Post #668291
2026-03-10 21:41 UTC
Décès de Tony Hoare, un géant et pionnier du génie logiciel à l'âge de 94 ans. Prix Turing 1980, il est à l'origine de la logique de Hoare pour la correction de programmes, de l'algorithme de tri quicksort, de CSP pour la concurrence... (et la référence nulle dans Algol W 😅)
https://fr.wikipedia.org/wiki/Charles_Antony_Richard_Hoare
Replies (0)
No replies.