- Sémantique des langages de programmation

Deuxième cycle

Cycle : 2 Nombre de crédits : 3 Discipline : Informatique Description Grammaires attribuées et algorithmes d'évaluation. Principaux modèles sémantiques: opératoire, dénotationnel et axiomatique. Applications à l'automatisation, la récupération d'erreur et la preuve de programmes. Programmes associés à ce cours Doctorat en mathématiques Maîtrise en mathématiques