John Backus
Page d'aide sur l'homonymie Pour les articles homonymes, voir Backus.
John Backus

John Warner Backus (3 décembre 192417 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 sur la programmation fonctionnelle, qu'il a contribué à 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 de programmation »[1].

Il prend sa retraite en 1991 et meurt chez lui à Ashland en Oregon le 17 mars 2007[2].

Sommaire

Vie et carrière

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 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 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 rejoint IBM en 1950. Les trois premières années, il travaille sur le SSSEC (Selective Sequence Electronic Calculator). 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. Il est alors confronté au même problème qu'avec le SSEC : réaliser des calculs scientifiques qui nécessitent l'utilisation de nombres en virgule flottante, alors que le IBM 701 ne prend en charge que les entiers arithmétiques. Pour pallier le problème, Backus développe le système Speedcoding, qui permet au programme d'utiliser un système simple de nombres en virgule flottante.

Fortran

En 1953, il n'existe pas encore de vrai langage de programmation tel que nous le concevons aujourd'hui. La plupart des programmes est écrite manuellement en langage machine ou à l'aide d'un assembleur primitif. Bien sûr, il y a le système de Backus, Speedcoding, mais l'approche n'est pas la bonne et le résultat est très lent. L'arrivée du IBM 704 cette même année va changer la donne. Outre qu'il est plus performant que son prédécesseur, il possède un processeur qui supporte directement les nombres en virgule flottante. Un système tel que Speedcoding devient donc inutile.

Après avoir consacré un an à décrire la syntaxe et le fonctionnement de Fortran, Backus présente le projet à ses supérieurs en novembre 1954, avec le rapport intitulé Specifications for The IBM Mathematical Formula Translating System FORTRAN. Il aura fallu plus de deux ans à l'équipe de Backus pour développer le compilateur FORTRAN, opérationnel début 1957.

Backus Naur Form

À 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 d'Algol, Backus travaille sur un nouvel outil permettant d'exprimer une grammaire formelle pour un langage de programmation. Il présente son travail au comité, The syntax and semantics of the proposed international algebraic language of the Zurich 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ée pour la description de l'ALGOL 60 en 1960.

FP et FL

Plus tard, il travaille sur un langage de programmation purement fonctionnel (« function-level » : au niveau fonctionnel) connu sous le nom de FP. Backus choisit de présenter ce langage durant le discours qu’il doit prononcer 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 son algèbre de programmes »), qui présente 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.

Références

Articles connexes

Liens externes

Bibliographie

  • 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.



Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article John Backus de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • John Backus — John Warner Backus John Warner Backus (* 3. Dezember 1924 in Philadelphia; † 17. März 2007 in Ashland, Oregon) war einer der Pioniere der Informatik. Er war Leiter des Entwicklungsteams von Fortran, der ersten Programmierhochsprache. Mit …   Deutsch Wikipedia

  • John Backus — Nombre John Backus …   Wikipedia Español

  • John Backus — (3 de diciembre de 1924 ) Matemático estadounidense, nacido en Filadelfia. Especialista en informática, fue el diseñador del lenguaje de programación de alto nivel FORTRAN, aplicable a la resolución de problemas científico técnicos, y de la… …   Enciclopedia Universal

  • John Backus — Infobox Scientist name = John Backus image width = 150px caption = birth date = Birth date|1924|12|3 birth place = Philadelphia, Pennsylvania death date = Death date and age|2007|3|17|1924|12|3 death place = Ashland, Oregon residence =… …   Wikipedia

  • John W. Backus — John Warner Backus John Warner Backus (* 3. Dezember 1924 in Philadelphia; † 17. März 2007 in Ashland, Oregon) war einer der Pioniere der Informatik. Er war Leiter des Entwicklungsteams von Fortran, der ersten Programmierhochsprache. Mit …   Deutsch Wikipedia

  • John Warner Backus — (* 3. Dezember 1924 in Philadelphia; † 17. März 2007 in Ashland, Oregon) war einer der Pioniere der Informatik. Er war Leiter des Entwicklungsteams von Fortran, der ersten Programmierhochsprache. Mit …   Deutsch Wikipedia

  • Backus — is a surname declining at the German family name Backhaus. It is the name of several notable people: *A.E. Backus (1909–1990), American artist *Billy Backus (born 1943), former world boxing champion *Edward Burdette Backus (1888–1955), American… …   Wikipedia

  • Backus-Naur form — Saltar a navegación, búsqueda El Backus Naur form (BNF) (también conocido como Backus Naur formalism, Backus normal form o Panini Backus Form) es una metasintaxis usada para expresar gramáticas libres de contexto: es decir, una manera formal de… …   Wikipedia Español

  • Backus-Naur-Form —   [Abk. BNF], eine von John Backus (*1921) und Peter Naur (*1928) entwickelte Notationsform (Metasprache) zur Definition der Syntax einer Programmiersprache. Sie wurde erstmalig zur Notation von Algol 60 eingesetzt. Heute definiert man die Syntax …   Universal-Lexikon

  • John Cocke — Naissance 30 mai 1925 Charlotte, Caroline du Nord (États Unis) Décès 16 juillet 2002 (à 77 ans) Valhalla, New York (États Unis) Nationalité …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”