→
Seminar

Persistent data structures

→
    from to
    See also:
    Balanced binary tree.

    Documents and media

    Program

    Nothing is lost, everything is created : an introduction to persistent data structures
    Xavier Leroy

    -
    Lecture
    Persistent data structures
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Balanced trees + copying branches = persistent dictionaries
    Xavier Leroy

    -
    Lecture
    Persistent data structures
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Reconciling amortization and persistence : the importance of laziness
    Xavier Leroy

    -
    Lecture
    Persistent data structures
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Verification of Functional Data Structures: Correctness and Complexity
    Tobias Nipkow

    -
    Seminar
    Persistent data structures
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    How do you make an imperative structure persistent ?
    Xavier Leroy

    -
    Lecture
    Persistent data structures
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Semi-persistent data structures
    Jean-Christophe Filliâtre

    -
    Seminar
    Persistent data structures
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Numbering systems and non-regular types
    Xavier Leroy

    -
    Lecture
    Persistent data structures
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    Mergeable Replicated Data Types
    KC Sivaramakrishnan

    -
    Seminar
    Persistent data structures
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    From formal derivation to structure navigation : contexts, zippers, indexes, etc.
    Xavier Leroy

    -
    Lecture
    Persistent data structures
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    How to combine persistence and performance
    Arthur Charguéraud

    -
    Seminar
    Persistent data structures
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    In search of the lost vector : theoretical limits and conclusions
    Xavier Leroy

    -
    Lecture
    Persistent data structures
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    An algebra of modifications, or : version control for everyone
    Pierre-Etienne Meunier

    -
    Seminar
    Persistent data structures
    Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
    -

    See also

    Lecture related to the seminar: Persistent data structures
    Xavier Leroy, chair Software Science