Partager Facebook Twitter Linkedin Copier le lien Cours Des expressions et des commandes : la sémantique d'un langage impératif Sémantiques mécanisées : quand la machine raisonne sur ses langages
28 nov 2019 09:30 - 11:00 Amphithéâtre Guillaume Budé, Site Marcelin Berthelot En libre accès, dans la limite des places disponibles Intervenant(s) Xavier Leroy, Professeur du Collège de France URL de la vidéo Écouter l'audio Documents et médias Télécharger le support pdf (1008.86 Ko) Cycle associé Sémantiques mécanisées : quand la machine raisonne sur ses langages Associé à Xavier Leroy, chaire Sciences du logiciel Événement suivant Cours 12 déc 2019 09:30 - 11:00 Cours Xavier Leroy Traduttore, traditore : vérification formelle d'un compilateur Sémantiques mécanisées : quand la machine raisonne sur ses langages
Cours 12 déc 2019 09:30 - 11:00 Cours Xavier Leroy Traduttore, traditore : vérification formelle d'un compilateur Sémantiques mécanisées : quand la machine raisonne sur ses langages