Introduction à la théorie des langages de programmation

Comme le dit l'ancienne page du cours:

Ce cours est une introduction aux principaux outils qui permettent de décrire les langages de programmation : la sémantique opérationnelle à petits pas, la sémantique opérationnelle à grands pas et la sémantique dénotationnelle. Ces outils sont utilisés pour décrire quelques fonctionnalités des langages de programmation parmi les plus courantes: les fonctions, la récursivité, le test, l'affectation, les boucles, les objets... Tout au long de ce cours, des travaux dirigés permettent de mettre ces outils en oeuvre, en écrivant des interpréteurs et des compilateurs pour de petits langages expérimentaux.

Le cours

Voir la page du professeur.

Les Travaux Pratiques