→
Séminaire

Structures de données persistantes

→
    du au
    Voir aussi :
    Arbre binaire équilibré.

    Documents et médias

    Programme

    Rien ne se perd, tout se crée : introduction aux structures de données persistantes
    Xavier Leroy

    -
    Cours
    Structures de données persistantes
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Arbres équilibrés + copie de branches = dictionnaires persistants
    Xavier Leroy

    -
    Cours
    Structures de données persistantes
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Concilier amortissement et persistance : de l'importance de la paresse
    Xavier Leroy

    -
    Cours
    Structures de données persistantes
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Verification of Functional Data Structures: Correctness and Complexity
    Tobias Nipkow

    -
    Séminaire
    Structures de données persistantes
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Comment rendre persistante une structure impérative ?
    Xavier Leroy

    -
    Cours
    Structures de données persistantes
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Structures de données semi-persistantes
    Jean-Christophe Filliâtre

    -
    Séminaire
    Structures de données persistantes
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Systèmes de numération et types non réguliers
    Xavier Leroy

    -
    Cours
    Structures de données persistantes
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Mergeable Replicated Data Types
    KC Sivaramakrishnan

    -
    Séminaire
    Structures de données persistantes
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    De la dérivation formelle à la navigation dans une structure : contextes, zippers, index, etc.
    Xavier Leroy

    -
    Cours
    Structures de données persistantes
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Comment allier persistance et performance
    Arthur Charguéraud

    -
    Séminaire
    Structures de données persistantes
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    À la recherche du vecteur perdu : limites théoriques et conclusions
    Xavier Leroy

    -
    Cours
    Structures de données persistantes
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Une algèbre de modifications, ou : le contrôle de versions pour tous
    Pierre-Etienne Meunier

    -
    Séminaire
    Structures de données persistantes
    Amphithéâtre Guillaume-Budé, Site Marcelin-Berthelot
    -

    Voir aussi

    Cours en relation avec le séminaire : Structures de données persistantes
    Xavier Leroy, chaire Sciences du logiciel