Cours INF8340 – Sémantique des langages de programmation

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.