Arborescence des pages
ConfigureOutils de l'espace
Aller directement à la fin des métadonnées
Aller au début des métadonnées

ISS8AA

Semantics

 

Crédits : 2 ECTS

Durée : 21 heures

Semestre : S8

Responsable(s) :

Guillaume BONFANTE, Maître de Conférences, guillaume.bonfante@mines-nancy.univ-lorraine.fr

Mots clés : sémantique, compilation, arbres de syntaxe abstraite, transformation

Pré requis : automate et analyse syntaxique des langages

Objectif général :  Description de la transformation générale de données d'un langage vers un autre

 

Syntaxe d'un langage de programmation

     - définition, ambiguité, aspect récursif

Sémantique d'un langage de programmation

    - définition, propriété des constructions syntaxiques

Transformation d'un langage par passage par une syntaxe abstraite

   - implémentation d'un analyseur syntaxique

Ecriture d'un code à bas niveau à partir d'un langage à haut niveau

  - implémentation d'un analyseur sémantique

 

Compétences : 

Niveaux

Description et verbes opérationnels

Connaître 

Arbre de syntaxe abstraite, Code de bas niveau, sémantique d'un langage

Comprendre 

Etapes de la compilations, analyse lexicale et sémantique

Appliquer 

Mise en place d'un compilateur

Analyser 

Propriétés statique du code, preuve de programme

Synthétiser

 

Évaluer

Difficulté des transformations de données

Évaluations :

  • Test écrit
  • Contrôle continu
  • Oral, soutenance
  • Projet
  • Rapport
  • Aucune étiquette