07 - Structures de données persistantes : À la recherche du vecteur perdu : limites théoriques et conclusions

Update: 2023-04-20

Description

Xavier Leroy

Collège de France

Science du logiciel

Année 2022-2023

Structures de données persistantes

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

Jusqu'à quel point une structure de données persistante peut être efficace ? Y a-t-il forcément un surcoût par rapport à une structure transiente ? Le dernier cours essaiera de répondre à ces questions, d'abord en passant en revue les meilleures implémentations connues des tableaux persistants, purement fonctionnelles ou non, puis en étudiant les bornes inférieures sur l'efficacité des modèles de calcul « LISP pur » et « LISP impur » établies par Ben-Armarm, Galil, et Pippenger.

Comments

Top Podcasts

The Best New Comedy Podcast Right Now – June 2024 The Best News Podcast Right Now – June 2024 The Best New Business Podcast Right Now – June 2024 The Best New Sports Podcast Right Now – June 2024 The Best New True Crime Podcast Right Now – June 2024 The Best New Joe Rogan Experience Podcast Right Now – June 20 The Best New Dan Bongino Show Podcast Right Now – June 20 The Best New Mark Levin Podcast – June 2024

In Channel

Séminaire - Daan Leijen : Design and Compilation of Efficient Effect Handlers in the Koka Language

2024-03-1455:15

08 - Structures de contrôle : de « goto » aux effets algébriques : 08 - Structures de contrôle : de « goto » aux effets algébriques : Logiques de programmes pour le contrôle et les effets

2024-03-1401:22:02

Séminaire - Matija Pretnar : Effect handlers and mathematically inspired language constructs

2024-03-0701:03:47

07 - Structures de contrôle : de « goto » aux effets algébriques : Typage et analyse statique des effets

2024-03-0701:19:07

Séminaire - Olivier Danvy : Les continuations : cinq minutes pour les apprendre, toute une vie pour les comprendre

2024-02-2958:48

06 - Structures de contrôle : de « goto » aux effets algébriques : Théorie des effets : des monades aux effets algébriques

2024-02-2901:16:12

Séminaire - Andrew Kennedy : Compiling with Continuations

2024-02-2244:39

05 - Structures de contrôle : de « goto » aux effets algébriques : Pratique des effets : des exceptions aux gestionnaires d'effets

2024-02-2201:19:03

04 - Structures de contrôle : de « goto » aux effets algébriques : Programmer ses structures de contrôle : continuations et opérateurs de contrôle

2024-02-1501:23:22

Séminaire - Delphine Demange : Représentations intermédiaires pour la compilation : s'affranchir du graphe de flot de contrôle

2024-02-1501:01:39

Séminaire - Caroline Collange : Comment concilier parallélisme et contrôle ? Approches des architectures de processeurs généralistes et graphiques

2024-02-0851:51

03 - Structures de contrôle : de « goto » aux effets algébriques : Chassez le contrôle... : la programmation déclarative

2024-02-0801:24:14

02 - Structures de contrôle : de « goto » aux effets algébriques : Structures de contrôle avancées : des subroutines aux coroutines et au parallélisme

2024-02-0101:15:22

01 - Structures de contrôle : de « goto » aux effets algébriques : Naissance des structures de contrôle : du « goto » à la programmation structurée

2024-01-2501:19:00

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

2023-04-2001:00:30

07 - Structures de données persistantes : À la recherche du vecteur perdu : limites théoriques et conclusions

2023-04-2001:25:35

Séminaire - Arthur Charguéraud : Comment allier persistance et performance

2023-04-1349:43

06 - Structures de données persistantes : De la dérivation formelle à la navigation dans une structure : contextes, zippers, index, etc.

2023-04-1301:17:58

Séminaire - KC Sivaramakrishnan : Mergeable Replicated Data Types

2023-04-0753:36

05 - Structures de données persistantes : Systèmes de numération et types non réguliers

2023-04-0701:16:49

00:00

07 - Structures de données persistantes : À la recherche du vecteur perdu : limites théoriques et conclusions

#box-pro-ellipsis-173520069953346{-webkit-line-clamp:2;}07 - Structures de données persistantes : À la recherche du vecteur perdu : limites théoriques et conclusions

07 - Structures de données persistantes : À la recherche du vecteur perdu : limites théoriques et conclusions

Xavier Leroy

07 - Structures de données persistantes : À la recherche du vecteur perdu : limites théoriques et conclusions