Séance de cours

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

Description

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
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.