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 : | ||||
|
|
|
|
|
Cet espace sera supprimé le 31 janvier 2024 - Pour toutes questions, vous pouvez nous contacter sur la liste wikidocs-contact@univ-lorraine.fr
Vue d'ensemble
Gestion des contenus
Activité