Séances de cours associées à Transparence référentielle

Explore comment les affectations affectent l'équivalence entre les expressions dans la programmation.

Couvre les lois de la concaténation des listes, de la preuve par induction, de la transparence référentielle et de l'induction structurelle.

Conversion de fermeture et analyse de flux de données

Explore la conversion de fermeture, le levage de fonction et l'analyse de flux de données pour l'optimisation de programme.

Optimisation de code : analyses accélérées

Explore les techniques pour accélérer les analyses de flux de données et discute de l'importance de l'ordonnancement des nœuds et de la traversée post-commande.

Optimisation des requêtes : heuristique et approche basée sur les coûts

Explore les principes d'optimisation des requêtes, les défis liés à l'estimation de la cardinalité et l'impact des erreurs sur la sélection des plans.