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

Cette séance de cours de l'instructeur couvre les défis posés par le volume croissant et la complexité du code écrit par un nombre croissant de développeurs. Il explore la tendance à des niveaux plus élevés d'abstraction dans la programmation, les outils disponibles pour gérer les grandes bases de code, et l'utilisation de cadres de métaprogrammation. La séance de cours se penche sur la nécessité d'une base de données de code, proposant de nouvelles optimisations et applications dans les bases de données et les compilateurs. Il traite de l'utilisation de Datalog pour les requêtes sur le code, l'interprétation abstraite et les problèmes de points fixes. L'accent principal est mis sur la virtualisation des données par rapport au code à l'aide des requêtes Syntaxes abstraites typées (TASTY) et Datalog. La séance de cours se termine par des exemples d'analyse de programme et d'expression des programmes en tant que règles Datalog.