UE Sémantique des langages de programmation et compilation

User information

Please note that you are curently looking at the ongoing Academic Programs. Applications are now closed for this academic year (2020-2021) for licences, professional licences, masters, DUT and regulated health training. If you are interested for an application in 2021-2022, please click on this link for the appropriate Academic Programs.

Degrees incorporating this pedagocial element :

Description

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.

Bibliography

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