Cours

Universit´e Denis DiderotLicence d’InformatiqueLes Langages de Programmationsyntaxe, s´emantique et implantationGuy CousineauJanvier 20052Table des mati`eres1 Diversit´e des langages 71.1 Les niveaux de syntaxe . . . . . . . . . . . . . . . . . . . . . . 71.1.1 La syntaxe concrˆete . . . . . . . . . . . . . . . . . . . 71.1.2 La syntaxe abstraite . . . . . . . . . . . . . . . . . . . 81.1.3 Description de la syntaxe abstraite . . . . . . . . . . . 91.1.4 Les g´en´erateurs d’analyseurs syntaxiques . . . . . . . 121.2 Port´ee des identificateurs et environnements . . . . . . . . . . 131.3 Les types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151.3.1 Typage statique et typage dynamique . . . . . . . . . 151.3.2 Les garanties apport´ees par le typage statique . . . . . 151.3.3 Les types pr´ed´efinis . . . . . . . . . . . . . . . . . . . 161.3.4 Les constructeurs de types pr´ed´efinis . . . . . . . . . . 161.3.5 Les d´efinitions de nouveaux types . . . . . . . . . . . . 171.3.6 Les d´efinitions de nouveaux constructeurs de types . . 181.3.7 Le polymorphisme . . . . . . . . . . . . . . . . . . . . 191.3.8 Le phisme param´etrique . . . . . . . . . . . . 201.3.9 Le polymorphisme des langages `a objets . . . . . . . . 201.3.10 Types abstraits, modules et classes . . . . . . . . . . . 211.4 L’´evaluation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 231.4.1 La compilation . . . . . . . . . . . . . . . . . . . . . . 231.4.2 La ...