COURS // INF8340 Sémantique des langages de programmation
Mes cours favoris
Ce système permet de sélectionner vos cours favoris en prévision de votre inscription qui se fait sur le portail étudiant.
Trimestre | Cours | Groupe |
---|
Description du cours
- 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.
Horaire - Été 2024
Ce cours n'est pas offert lors de ce trimestre.
Horaire - Automne 2024
Ce cours n'est pas offert lors de ce trimestre.
Horaire - Hiver 2025
Ce cours n'est pas offert lors de ce trimestre.