John Backus Une présentation de Myriam Bloch et Matthieu Faou

Présentation au sujet: "John Backus Une présentation de Myriam Bloch et Matthieu Faou"— Transcription de la présentation:

1 John Backus Une présentation de Myriam Bloch et Matthieu Faou

2 1924 – 2007 Informaticien Américain Prix Turing (1977)
John Backus 1924 – 2007 Informaticien Américain Prix Turing (1977) qsrfergtrdg

3 Carrière 1949 1950 1953 1954 1959 1977 1989 1991 Diplôme IBM Speedcoding FORTRAN BNF FP FL Retraite

4 Programmation informatique
Codage Langage Transformation Compilateur et/ou interpréteur Exécution Processeur Problème à résoudre Solution informatique FORTRAN

5 FORTRAN FORmula TRANslator
Qu'est-ce que c'est ? Un langage de haut niveau. Pour quoi faire ? Traiter des problèmes mathématiques informatiquement. Avantages ?

6 Programmation informatique
Codage Langage Transformation Compilateur et/ou interpréteur Exécution Processeur Problème à résoudre Solution informatique BNF

7 Compilateur D'après Yann Régis-Gianas

8 Backus-Naur Form BNF Qu'est-ce que c'est ? Notation de description syntaxique. Pour quoi faire ? Théorisation d'un langage. Exemple :

9 Function Programming (FP) & Function Level (FL)
Qu'est-ce que c'est ? Langages fonctionnels Peu répandus

10 Conclusion Innovation au niveau pratique
Mais également au niveau de la théorisation des langages Travaux toujours utilisés

11 Sources Wikipedia Encyclopédie Universalis
Introduction à la compilation, cours de M. Régis-Gianas enseignement.polytechnique.fr

12 Merci de votre attention.
Des questions ?