john backus une présentation de myriam bloch et matthieu faou
DESCRIPTION
John Backus Une présentation de Myriam Bloch et Matthieu Faou. 1924 – 2007 Informaticien Américain Prix Turing (1977). John Backus. 1950. 1953. 1954. 1959. 1977. 1989. 1991. 1949. Speedcoding. FL. Diplôme. BNF. IBM. FP. Retraite. FORTRAN. Carrière. Codage. Transformation. - PowerPoint PPT PresentationTRANSCRIPT
John Backus
Une présentation de Myriam Bloch et Matthieu Faou
John Backus
1924 – 2007
Informaticien Américain Prix Turing (1977)
Carrière
1949 1950 1953 1954 1959 1977 1989 1991
DiplômeIBM
Speedcoding
FORTRANBNF
FPFL
Retraite
Programmation informatique
Codage
Langage
Transformation
Compilateur et/ou
interpréteur
Exécution
Processeur
Problème à résoudre
Solution informatique
FORTRAN
FORTRANFORmula TRANslator
Qu'est-ce que c'est ? Un langage de haut niveau.
Pour quoi faire ? Traiter des problèmes mathématiques informatiquement.
Avantages ?
Programmation informatique
Codage
Langage
Transformation
Compilateur et/ou
interpréteur
Exécution
Processeur
Problème à résoudre
Solution informatique
BNF
Compilateur
D'après Yann Régis-Gianas
Backus-Naur FormBNF
Qu'est-ce que c'est ? Notation de description syntaxique.
Pour quoi faire ? Théorisation d'un langage.
Exemple :
Function Programming (FP) &
Function Level (FL)
Qu'est-ce que c'est ? Langages fonctionnels
Peu répandus
Conclusion
Innovation au niveau pratique
Mais également au niveau de la théorisation des langages
Travaux toujours utilisés
Sources
Wikipedia Encyclopédie Universalis Introduction à la compilation, cours de
M. Régis-Gianas enseignement.polytechnique.fr
Merci de votre attention.
Des questions ?