John Backus Une présentation de Myriam Bloch et Matthieu Faou
description
Transcript of John Backus Une présentation de Myriam Bloch et Matthieu Faou
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 ?