Évaluation des données avec programmation multi-étapes

Cette séance de cours couvre le raisonnement sur le code utilisateur, en utilisant Datalog pour l'analyse statique. Il explique l'anatomie d'un programme Datalog, l'intégration DSL dans Scala, et l'évaluation des règles Datalog. La séance de cours s'inscrit également dans la sémantique Datalog, les algorithmes fixpoint, et l'opérateur de conséquence immédiate. Il explore les orientations futures en matière d'intégration DSL, de sémantique Datalog et d'optimisation des moteurs d'exécution. La présentation se termine par des discussions sur le code de mise en scène, la programmation en plusieurs étapes et l'application de la programmation en plusieurs étapes aux opérateurs. Divers concepts comme la spécialisation en code, la spécialisation en temps d'exécution et la gestion du stockage sont également abordés.