Décès du père du Fortran et de la notation BNF

Posté par  (site web personnel) . Édité par Benoît Sibaud. Modéré par Florent Zara.
Étiquettes :
2
23
mar.
2007
Fortran
John Backus est décédé samedi 17 mars à l'âge de 82 ans. Pionnier de l'informatique, il a forgé les bases de l'informatique dans les années 50-60 au travers de quelques travaux que nous avons tous plus ou moins utilisé :
  1. Le Fortran développé entre 1954 et 1957 par lui et son équipe au sein d'IBM. Le Fortran, que l'on aime ou que l'on aime pas, a su par la suite évoluer et sa dernière mouture est toujours très utilisée en calcul intensif.
  2. La notation BNF (Backus-Naur Form) en 1959 permet de décrire la grammaire d'un langage de programmation indépendamment de ce langage. Cette notation est toujours très utilisée de nos jours. A l'origine, John Backus l'a introduite pour définir l'Algol.
  3. Il est en effet l'un des membres actif du comité international de l'Algol 58, puis de l'Algol 60 . Ce langage a rapidement été utilisé dans les années 60 par les universitaires pour décrire des algorithmes. Il a, par exemple, été le premier à utiliser la paire : "begin end" pour délimiter les blocs. Aujourd'hui au musée des langages, il a fortement marqué ses successeurs, dont le Pascal.
Il reçoit en 1977 le prix Turing récompensant ses travaux, notamment sur la notation BNF.

NdM : les compilateurs libres gfortran et Free Pascal sont disponibles, pas encore Algol dans la GNU_Compiler_Collection ?

Prix Turing 2007 pour la vérification de modèles

Posté par  . Édité par Benoît Sibaud. Modéré par Jaimé Ragnagna.
Étiquettes :
1
5
fév.
2008
Presse

(réécrite et réaffectée suite à une purge de compte)

Le prix Turing a été attribué à Edmund M. Clarke (université Carnegie Mellon), E. Allen Emerson (université du Texas) et Joseph Sifakis (université de Grenoble, laboratoire Verimag) pour leurs travaux sur la vérification de modèles (ou model checking).

Journal Cryptographie : un article de vulgarisation

Posté par  (site web personnel) .
Étiquettes :
0
5
fév.
2005
Hop, pour un premier journal, un journal que j'espère utile.

En passant sur un forum d'amateurs d'Histoire, je suis passé sur un topic parlant de la cryptographie lors de la seconde guerre mondiale (Enigma, Turing/Rejewski, toussa).

Je me suis emballé et j'ai rapidement rédigé une réponse de mémoire, exposant mes connaissances d'amateur sur la cryptographie moderne. La réponse est rapidement devenue assez conséquente, et je me demande si elle ne pourrait pas servir de base à un article de vulgarisation (…)

On a retrouvé la machine Enigma

Posté par  . Modéré par I P.
Étiquettes :
0
18
oct.
2000
Sécurité
Une machine Enigma (machine de cryptage mécanique utilisée par les nazis pendant la 2ème guerre mondiale) avait été volée à Bletchley Park (site où Turing et des chercheurs anglais ont cassé Enigma en 1940) en Avril. Une demande de rançon pour la restitution de la machine avait fait suite à ce vol.

La machine vient d'être restituée (en fait envoyée à un journaliste de la BBC) de manière énigmatique. Bonne nouvelle, car il ne reste plus que peu d'exemplaires d'Enigma encore en état de fonctionner (une douzaine si mes infos sont bonnes).