Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
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.
Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.
Regarder sur Mediaspace