Le cours vise à familiariser les étudiants avec des techniques et méthodes formelles pour raisonner de manière générale sur la sémantique des langages de programmation, et plus particulièrement sur la sémantique opérationnelle.
Contenu
Quelques notions préliminaires mathématiques et logiques