→
Séminaire

Sémantiques mécanisées : quand la machine raisonne sur ses langages

→
    du au
    Voir aussi :

    Documents et médias

    Programme

    Des expressions et des commandes : la sémantique d'un langage impératif
    Xavier Leroy

    -
    Cours
    Sémantiques mécanisées : quand la machine raisonne sur ses langages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Traduttore, traditore : vérification formelle d'un compilateur
    Xavier Leroy

    -
    Cours
    Sémantiques mécanisées : quand la machine raisonne sur ses langages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Lambda, the Ultimate Teaching Assistant (Agda Version)
    Philip Wadler

    -
    Séminaire
    Sémantiques mécanisées : quand la machine raisonne sur ses langages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Compiler mieux : optimisations, analyses statiques, et leur vérification
    Xavier Leroy

    -
    Cours
    Sémantiques mécanisées : quand la machine raisonne sur ses langages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    L'arithmétique des ordinateurs et sa formalisation
    Sylvie Boldo

    -
    Séminaire
    Sémantiques mécanisées : quand la machine raisonne sur ses langages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Des logiques pour raisonner sur les programmes
    Xavier Leroy

    -
    Cours
    Sémantiques mécanisées : quand la machine raisonne sur ses langages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Sémantique formelle de JavaScript : les enjeux du passage à l'échelle
    Alan Schmitt

    -
    Séminaire
    Sémantiques mécanisées : quand la machine raisonne sur ses langages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Un art abstrait : l'analyse statique par interprétation abstraite
    Xavier Leroy

    -
    Cours
    Sémantiques mécanisées : quand la machine raisonne sur ses langages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Logique de séparation en Coq : théorie et pratique
    Arthur Charguéraud

    -
    Séminaire
    Sémantiques mécanisées : quand la machine raisonne sur ses langages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    L'éternité, c'est long : divergence, théorie des domaines, approches coinductives
    Xavier Leroy

    -
    Cours
    Sémantiques mécanisées : quand la machine raisonne sur ses langages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Interpréteurs abstraits mécanisés
    David Pichardie

    -
    Séminaire
    Sémantiques mécanisées : quand la machine raisonne sur ses langages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Des fonctions et des types : la sémantique d'un langage fonctionnel
    Xavier Leroy

    -
    Cours
    Sémantiques mécanisées : quand la machine raisonne sur ses langages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Understanding and Evolving the Rust Programming Language
    Derek Dreyer

    -
    Séminaire
    Sémantiques mécanisées : quand la machine raisonne sur ses langages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    What's in a Name? Représenter les variables et leurs liaisons
    Xavier Leroy

    -
    Séminaire
    Sémantiques mécanisées : quand la machine raisonne sur ses langages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Coq en Coq ? Mécaniser la logique d'un assistant à la démonstration
    Xavier Leroy

    -
    Cours
    Sémantiques mécanisées : quand la machine raisonne sur ses langages
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Voir aussi

    Cours en relation avec le séminaire : Sémantiques mécanisées : quand la machine raisonne sur ses langages
    Xavier Leroy, chaire Sciences du logiciel