Sémantique des Language de Programmation

Se´mantique des Langages de Programmationet Compilation´Semantique des Langages de ProgrammationJean-Claude Fernandez & Yassine Lakhnechffernand,lakhnechg@imag.frhttp://www-verimag.imag.fr/˜fernandhttp://www-verimag.imag.fr/˜lakhnech.Cours en Master Sciences, Technologies & Sante´´Mention Mathematiques, InformatiqueM1 majeure InformatiqueUFR IMAUniversite´ Joseph FourierYassine Lakhnech, Se´mantique Start C3 C4 – p.1/87Equipe pédagogiqueCoursJean-Claude Fernandez (VERIMAG, av. de VignateGIERES 04 56 52 03 79)TDFabienne Carrier (VERIMAG)Jean-Claude Fernandez (VERIMAG)http://www-verimag.imag.fr/˜fernand/SLPCYassine Lakhnech, Se´mantique Start C3 C4 – p.2/87ObjectifsEtude des théories, méthodes et outils en vue de :Définir les langages de programmation (syntaxe,sémantique),Traduire efficacement et correctement un programme envue de l’exécuter (compilation)Langages et leur descriptionArchitecture machineA la base : traduire un programme écrit dans un langage de pro-grammation vers un programme exécutable par une machine.Yassine Lakhnech, Se´mantique Start C3 C4 – p.3/87LangagesLangages impératifs e.g. Fortran, Algol-xx, Pascal, C, Ada,Java,... (Concepts : désignation d’emplacements mémoire,Structure de contrôle (PC) expression (PO))Langages fonctionnels e.g. ML, CAML, LISP (Concepts :réduction, évaluation de fonctions)Langages orienté objet Ada, Java,... (Concepts : objets,classes, types, héritage, polymorphisme, ...