UE Sémantique des langages de programmation

Diplômes intégrant cet élément pédagogique :

Descriptif

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.

Bibliographie

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

Informations complémentaires

Méthode d'enseignement : En présence
Lieu(x) : Grenoble
Langue(s) : Français, Anglais