UE Sémantique des langages de programmation

Ce module présente les différents concepts mis en oeuvre dans les langages de programmation en vue d'exécuter un programme sur une machine. L'objectif de cet enseignement est la maîtrise des méthodes de définition formelle de la syntaxe d'un langage, de sa sémantique et des différentes phases de transformation d'un programme tout au long de son traitement par un compilateur.

1.    A. Aho, R. Sethi, J. Ullman, Compilateurs : Principes, techniques et outils,  Interéditions, 1989
2.    H.R. Nielson, F. Nielson : Semantics with applications, Wiley 2005