A. Turing :
"Le programmeur devrait faire un certain nombre d'assertions bien
déterminées qui pourraient être vérifiées individuellement. La correction de
l'ensemble du programme en découlerait alors aisément."
(ça a du passer à 100km au dessus de la tête de la plupart des autres
informaticiens de l'époque, je me mets à leur place; citée dans
l'allocution de T. Hoare à la réception du prix Turing : the emperor clothes
Merci à Marc qui me rappelle cette citation
A Roubaix, Jean-Luc Mélenchon fustige les accusations d’antisémitisme
portées contre lui et son mouvement
-
La question palestinienne s’est invitée lors d’un meeting de La France
insoumise consacré aux élections européennes, mercredi, après la polémique
créée par...
Il y a 1 heure
Aucun commentaire:
Enregistrer un commentaire