Syntaxe

Séances de cours associées (32)

Connectez-vous pour filtrer par séance de cours

Page 3 sur 4

Couvre un langage fonctionnel simple, des arbres syntaxiques abstraits, des expressions interprétatives et du dessugaring.

Explore les ancrages de mots, le modèle de gants, les relations sémantiques, les ancrages de sous-mots et les relations syntaxiques.

Couvre le multithreading, la génération de code et la vérification de type dans l'implémentation du compilateur.

Couvre le polymorphisme dans Coq, en se concentrant sur les structures de données et les fonctions telles que les listes, la longueur et l'ajout.

Introduit les bases du traitement du langage naturel, couvrant les défis, les domaines d'application et les niveaux de traitement linguistique.

Explore la sémantique opérationnelle et les relations inductives dans le langage Amyli.

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

Introduit des termes, des abstractions, des applications et des valeurs dans le calcul lambda.

Couvre l'analyse syntaxique, la grammaire de dépendance et l'analyse du réseau neuronal à base de graphes.

Couvre le flux de contrôle en Python, en se concentrant sur les instructions conditionnelles et les boucles.