Utilisateur:Dewi78/brouillon
Pour les articles homonymes, voir Backus.
John Warner Backus (3 Décembre 1924 – 17 Mars 2007) est un informaticien américain. Il est directeur de l’équipe qui pour la première fois utilise un langage de programmation de haut-niveau, et est le créateur de la Forme de Backus-Naur (BNF). Il a aussi mené de nombreuses recherches en programmation dites « function-level » et a aidé à la populariser.
Il reçoit le Prix Turing en 1977 : « Pour son influence et sa contribution au développement des langages de programmation de haut niveau, notamment à travers son travail sur FORTRAN, et pour la publication des procédures formelles servant à la spécification des langages des programmation. » [1]
Il se retire en 1991 et meurt chez lui à Ashland en Oregon le 17 mars 2007. [2]
Vie et carrière[modifier | modifier le code]
Backus est né à Philadelphie, en Pennsylvanie. Il étudie à The Hill School à Pottstown en Pennsylvanie, mais n’est pas réellement un bon élève[2]. Après son entrée à l’Université de Virginie pour étudier la chimie, il est recruté par l’armée américaine.[2] Ses résultats aux tests d'aptitude le dirigent vers une carrière médicale. Il étudie alors la médecine à Harverford puis travaille à l'hôpital de Atlantic City. Là, on lui diagnostique une tumeur cérébrale, retirée par la suite avec succès. Peu de temps après, il décide de mettre un terme à ses études médicales.
Après son arrivée à New York, il entame une formation de technicien de radio. C'est en aidant son professeur à réaliser certains calculs que Backus se découvre un intérêt pour les mathématiques. En 1949, il obtient une maîtrise à l’Université Columbia, puis il rejoint IBM en 1950. Durant les trois premières années, il travaille sur le Selective Sequence Electronic Calculator (SSEC); Son premier projet majeur est d’écrire un programme chargé de calculer la trajectoire de la Lune.
En 1953, Backus découvre le IBM 701, le successeur du SSEC. Backus est alors confronté au même problème qu'avec le SSEC : il doit réaliser des calculs scientifiques qui nécessitent l'utilisation de nombre à virgules flottantes, alors que le IBM 701 ne supporte que les entiers arithmétiques. Pour pallier au problème Backus développe le système speedcoding qui permet au programme d'utiliser un système simple de nombres à virgules flottantes.
Fortran[modifier | modifier le code]
En 1953, il n'existe pas encore de vrai langage de programmation tel que nous le concevons aujourd'hui. La plupart des programmes était écrit manuellement en langage machine ou avec l'aide d'un assembleur primitif. Bien sûr, il y avait le système de Backus, Speedcoding mais l'approche n'était pas la bonne et le résultat était très lent. L'arrivée du IBM 704 cette même année va changer les choses. En plus d'être plus performant que son prédécesseur, il possède un processeur qui supporte directement les nombres à virgules flottantes. Il n'y a donc plus besoin de système tel que Speedcoding.
Après avoir passé un an à décrire la syntaxe et le fonctionnement du Fortran, Backus présente le projet à ses supérieurs en Novembre 1954 avec le rapport appelé Specifications for The IBM Mathematical Formula Translating System FORTRAN. Il fallut plus deux ans à l'équipe de Backus pour développer le compilateur FORTRAN qui fut opérationnel début 1957.
Backus Naur Form[modifier | modifier le code]
Durant la fin des années 1950 il travaille avec le comité international chargé de développer ALGOL 58 et le très influent ALGOL 60, qui devient très rapidement le standard pour la description des algorithmes par les chercheurs en informatique, statut qu'il conservera pendant longtemps.
Au moment de la mise au point de l'Algol, Backus travail sur un nouvel outil permettant l'expression d'une grammaire formelle pour un langage de programmation. Il présente son travail au commité, The syntax and semantics of the proposed international algebraic language of the Zuricl ACM-GAMM conference, en Juin 1959. Peter Naur, autre membre du comité s'intéresse alors au travail de Backus et y apporte quelques modifications. La BNF (Pour Backus Naur Form, au lieu de Backus Normal Form) est alors utilisé pour la description de l'ALGOL 60 en 1960.
FP et FL[modifier | modifier le code]
Plus tard, il travaille sur un langage de programmation purement fonctionnel («function-level ») connu sous le nom de FP. Backus choisit de présenter ce langage durant le discours qu’il doit donner lors de la remise du prix Turing.
Ce discours, « Can programming be liberated from the von Neumann style? : a functional style and its algebra of programs » (la programmation peut-elle échapper au style de Von Neumann ? Un style fonctionnel et l'algèbre de ses programmes),résentant les avantages de la programmation fonctionnelle a très largement contribué à relancer l’intérêt pour ce paradigme. Un interpréteur FP est distribué avec la version 4.2 du système d’exploitation BSD Unix mais Backus ne réussira jamais à répandre son langage.
Backus passe le reste de sa carrière à développer FL (de «Function level), un successeur de FP.
References[modifier | modifier le code]
Articles connexes[modifier | modifier le code]
Liens externes[modifier | modifier le code]
- John Backus (Université de Columbia, en anglais).
- Biographie de John Backus
Bibliographie[modifier | modifier le code]
- The history of FORTRAN I, II, and III par John Backus dans The first ACM SIGPLAN conference on History of programming languages, Los Angeles, CA, pages: 165 - 180, 1978, (ISSN 0362-1340).
- Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs, par John Backus dans Communications of the ACM Volume 21 , Issue 8 (août 1978), pages: 613 - 641, (ISSN 0001-0782) et aussi dans ACM Turing Award Lectures: the First 20 Years, 1966-1985 (1987) (ISBN 0-201-07794-9), ACM Press/Addison-Wesley Publishing Co. New York, NY, USA.