→
Séminaire

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

→
    du au
    Voir aussi :

    Documents et médias

    Programme

    Cours
    -

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

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

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

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

    Lambda, the Ultimate Teaching Assistant (Agda Version)

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

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

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

    L'arithmétique des ordinateurs et sa formalisation

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

    Des logiques pour raisonner sur les programmes

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

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

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

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

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

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

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

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

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

    Interpréteurs abstraits mécanisés

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

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

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

    Understanding and Evolving the Rust Programming Language

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

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

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

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

    Xavier Leroy
    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