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 ?