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 :

1. Entre 1954 et 1957, au sein d'IBM, lui et son équipe inventent le langage FORTRAN.
2. 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 1 Références 1.1 Liens internes 1.2 Liens externes 1.3 Bibliographie

[] Références

[] Liens internes

• FORTRAN
• Programmation fonctionnelle

[] 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

[] 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.

Lauréats du prix Turing

1966 : A.J. Perlis - 1967 : Maurice Wilkes - 1968 : Richard Hamming - 1969 : Marvin Minsky - 1970 : J.H. Wilkinson - 1971 : John McCarthy - 1972 : Edsger Dijkstra - 1973 : Charles Bachman - 1974 : Donald Knuth - 1975 : Allen Newell et Herbert Simon - 1976 : Michael Rabin et Dana S. Scott - 1977 : John Backus - 1978 : Robert Floyd - 1979 : Kenneth Iverson - 1980 : Charles A. R. Hoare - 1981 : Edgar Frank Codd - 1982 : Stephen Cook - 1983 : Kenneth Thompson et Dennis Ritchie - 1984 : Niklaus Wirth - 1985 : Richard Karp - 1986 : John Hopcroft et Robert Tarjan - 1987 : John Cocke - 1988 : Ivan Sutherland - 1989 : William Kahan - 1990 : Fernando Corbató - 1991 : Robin Milner - 1992 : Butler Lampson - 1993 : Juris Hartmanis et Richard Stearns - 1994 : Edward Feigenbaum et Raj Reddy - 1995 : Manuel Blum - 1996 : Amir Pnueli - 1997 : Douglas Engelbart - 1998 : James Gray - 1999 : Frederick Brooks - 2000 : Andrew Yao - 2001 : Ole-Johan Dahl et Kristen Nygaard - 2002 : Ronald Rivest, Adi Shamir et Leonard Adleman - 2003 : Alan Kay - 2004 : Vinton G. Cerf et Robert E. Kahn - 2005 : Peter Naur - 2006 : Frances Allen - 2007 : Edmund Clarke, Allen Emerson et Joseph Sifakis

 
Le Texte ci-dessus est disponible sous GNU Free Documentation License.
La source est wikipedia http://fr.wikipedia.org/wiki/John Backus