Partager Facebook Twitter Linkedin Copier le lien Cours Traduttore, traditore : vérification formelle d'un compilateur Sémantiques mécanisées : quand la machine raisonne sur ses langages
12 déc 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 (991.12 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 19 déc 2019 09:30 - 11:00 Cours Xavier Leroy Compiler mieux : optimisations, analyses statiques, et leur vérification Sémantiques mécanisées : quand la machine raisonne sur ses langages Événement précédent Cours 28 nov 2019 09:30 - 11:00 Cours Xavier Leroy 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
Cours 19 déc 2019 09:30 - 11:00 Cours Xavier Leroy Compiler mieux : optimisations, analyses statiques, et leur vérification Sémantiques mécanisées : quand la machine raisonne sur ses langages
Cours 28 nov 2019 09:30 - 11:00 Cours Xavier Leroy 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