John Backus
Un article de Wikipédia, l'encyclopédie libre.
John Backus (né le 3 décembre 1924 et mort le 17 mars 2007 à Ashland dans l'Oregon), est un pionnier de l'informatique. Il est principalement connu pour ses deux réalisations marquantes :
- Entre 1954 et 1957, au sein d'IBM, lui et son équipe inventent le langage FORTRAN.
- En 1959 il invente une notation permettant de décrire la syntaxe d'un langage de programmation de haut-niveau. Cette notation (abrégée BNF) s'appelle d'abord la forme normale de Backus (en anglais Backus Normal Form), puis Forme de Backus-Naur (en anglais Backus-Naur Form) après que Peter Naur y a apporté ses modifications [1].
John Backus reçoit de nombreux prix récompensant sa carrière. Quand il reçoit le Prix Turing en 1977, pour lequel il doit rédiger un article sur le sujet de son choix, il surprend la communauté informatique en intitulant son article : « Can programming be liberated from the von Neumann style? : a functional style and its algebra of programs » (La programmation peut-elle être libérée du modèle von Neumann ? : un modèle fonctionnel et son algèbre des programmes) dans lequel il dénonce avec virulence l'inefficacité de la programmation impérative et introduit un langage purement fonctionnel baptisé FP, pour Functional Programming.
John Backus a pris sa retraite en 1991. John Backus a été fait docteur honoris causa de l'Université Henri Poincaré de Nancy, le 14 décembre 1989.
Sommaire |
[modifier] Références
- ↑ À titre presque anecdotique, on signalera que Donald Knuth s'est prononcé en faveur de Backus-Naur Form dans une lettre à Communication of the ACM, en décembre 1964.
[modifier] Liens internes
[modifier] Liens externes
- John Backus (Université de Columbia, en anglais).
- Dennis Shasha and Cathy Lazere Out of Their Minds: The Lives and Discoveries of 15 Great Computer Scientists (1995), Springer, ISBN 0387982698
[modifier] 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.
