Séances de cours associées à Structure et interprétation des programmes informatiques

Branche conditionnelle dans la programmation

Explique comment le branchement conditionnel de la programmation modifie l'exécution des programmes en fonction de certaines conditions.

Introduction à MATLAB & GNU Octave

Présente les bases de MATLAB & GNU Octave, les types de données, le tracé, les structures de programmation et les interfaces GUI.

Interprétation abstraite et domaine Octagon

Explore les principes d'interprétation abstraite et le domaine Octagon, en mettant l'accent sur les compromis entre précision et efficacité et l'analyse statique des programmes.

Questions avancées de métaprogrammation: Volume de code et complexité

Explore la gestion de grandes bases de code, niveaux d'abstraction plus élevés, codeDB, requêtes Datalog, et l'analyse de programme.