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.
Note : Cette activit� correspond au cours INF8340 de l'UQAM.
Ce cours n'est dans aucun programme ouvert aux admissions.