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

Slides:



Advertisements
Présentations similaires
Cours n° 1 Introduction à la programmation
Advertisements

Conception d’une Liaison (Réseau Virtuel Privé)
Présentation RIO - 25/01/02 Yves Le Monnier & Philippe Dartois - TTV Les Serveurs dApplications.
Algorithmique et Programmation DEUG 2 Sciences Economiques 2004/2005
APPROCHE PAR LES COMPETENCES ET
Cours MIAGE Henry Boccon-Gibod 1 XML, Extensible Mark up Language Un esperanto des langages informatiques.
Handover et Roaming dans les réseaux WI-FI
Fonctionnement, analyse et conception
Séminaire Florin Périer Alain Gély LIMOS
INTRODUCTION.
DOSSIER TICE 2006 MASSON Wendy 1 ère année sciences du langage
Introduction aux CMS.
Informatique et Science du Numérique (ISN)
Domotique présenté par : Choquet Mathieu Masson Jérôme Sous la tutelle de M. Costa.
Laissez-vous guider pendant 2 minutes sans toucher à quoi que ce soit
Dossier de présentation Objectif : répondre aux attentes du projet SAFE-DRIVING Besteam Development & Safe-driving Société spécialisée dans la gestion.
Paradigmes de Programmation
Programmation logique Logique des prédicats du premier ordre
Risques d’incohérences dans l’expertise inter-disciplinaire
Candidature pour le poste d’ingenieur
Informatique et sciences du numérique Année scolaire 2011/2012 Présentation de la spécialité Année scolaire 2011/2012 Présentation de la spécialité.
Algorithmique et Programmation
1 Enseigner les mathématiques grâce à lenvironnement Cabri UREM UNIVERSITE LIBRE DE BRUXELLES 18 Avril 2007 Enseigner les mathématiques grâce à lenvironnement.
Chapitre 3 Syntaxe et sémantique.
Séance d’introduction
Organigramme ESISAR.
Programmation non procédurale Le projet ECOLE 2000
TIPE Étude d’un baromètre.
Les enseignements technologiques d'exploration en SECONDE : pour une culture technologique.
Structures de données IFT Abder Alikacem Gestion des exceptions Module 2 Département dinformatique et de génie logiciel Édition Septembre 2009.
ENSG 18 septembre Approche historique des systèmes d'information Laurent Bloch, INSERM.
Jacques Nicolas INRIA /IRISA Rennes
Les différents langages de programmation
Soutenance de stage 16 Mai au 5 Août 2011
Processus de Recrutement
Paradigmes des Langages de Programmation
Programmation procédurale Les différents schémas
Paradigmes des Langages de Programmation
Cours Architecture des Systèmes Informatiques
Merci.
La Boucle Repeat Cours LCS N°1 Présenté par Mr: LALLALI.
Les formations en Informatique en Nouvelle-Calédonie
La ressource en eau en France, à l’horizon Introduction « l’utilisation domestique de l’eau en France en » Problèmes envisageables Solutions.
Institut Supérieur des Sciences Appliquées et de Technologie Sousse
Fiche Métier:Designer
Langages de programmation Ordinateurs = Machines à exécution.  D’où la nécessité d’outils de communication qui s’adaptent le mieux aux utilisateurs. Comment.
Vecteurs – Valeurs. Noémie peut-elle rattraper Virginie ? Deux amateurs de plongée sous-marine s'entraînent. Virginie nage avec une vitesse de 1 m.s -1.
Atos, Atos et le poisson, Atos Origin et le poisson, Atos Consulting ainsi que le poisson seul sont des marques déposées d'Atos Origin SA. © 2006 Atos.
P.R. Marquette Survol des réalisations annuelles des comités COCEP.
Le codage des nombres en informatique
DU commerce éléctronique, mars Logique et fondements de l’informatique Université Paris II Michel de Rougemont
1 École des Mines de Saint-Etienne. 158, cours Fauriel Saint-Etienne Cedex 2. Tél Fax Jean-Jacques Girardot
UMR 7619 Sisyphe Avril 2012 Alexandre Pryet Le langage une introduction pragmatique.
Informatique et Sciences du Numérique
Logique et fondements de l’informatique
Leçon 4 NOTION DE FONCTION Fabienne BUSSAC.
Soutenance du mémoire de synthèse
Prénom Nom Formal Semantics Rolf Ingold Department of Informatics University of Fribourg > Formal Semantics [SP08]
Dr. KHERRI Abdenacer 2014/ ECOLE DES HAUTES ETUDES COMMERCIALES.
Patricia Renault UPMC 2005/2006
Logiciel pour la résolution des programmes linéaires : « LINDO »
Un Génie Informatique. Ma carrière préférée serait un génie informatique, ou un ingénieur de n'importe quel type vraiment.
COMPIL - Z Compilateur visible
Formation SST, défibrillateurs, incendie, prévention et analyse des risques… SP ENSEIGNEMENT Formation Massage cardiaque utilisation d’un défibrillateur.
D. Fauchard 02/02/2012 La spécialité Informatique et Sciences du numérique au lycée St Jo.
Abder Alikacem Semaines 1-4 Synthèse
la reconnaissance de visages
MAI 2016 Réunion d’entente BTS SIO Mai 2016 Présentation du rapport sur les besoins et l'offre de formation aux métiers du numérique 1.
Prof, mohammed bouramdane Le langage de programmation Leçon 2:
Transcription de la présentation:

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

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

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

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

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 ?

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 Form BNF 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 ?