Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Analyse des noms : Phases de compilation et tableaux de symboles

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (32)

Scallion tutoriel: construire Parser[A]

Couvre les bases de la construction de Parser[A] en utilisant Scallion, les conflits LL(1) et l'affacturage à gauche.

Vérification de type et reconstruction: équations et unification

S'intéresse à la vérification de type, à la reconstruction, aux équations, à l'unification, au système Hindley/Milner, au polymorphisme et aux principaux types.

Comment les classes sont organisées

Couvre la façon dont les classes et les objets sont organisés en paquets, les importations, la hiérarchie des classes de Scala, les traits, les types supérieurs, le type Nothing, les exceptions et comprend un exercice sur la détermination de type.

Tuples: Désucrage et mise en œuvre Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les détails de mise en œuvre des tuples dans Scala, y compris le dessugaring, l'analyse lexicale, l'analyse et la génération de code.

Multithreading : génération de code et vérification de type Connectez-vous à Mediaspace pour regarder cette vidéo

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

Compilateurs : défis avec les processeurs de signaux numériques Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les défis de la compilation pour les processeurs de signaux numériques en raison de leurs caractéristiques architecturales uniques et des irrégularités.

Solveur WS1S: Structure du projet Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la structure du projet pour résoudre les formules WS1S et les ajouts prévus.

Algorithme CYK Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit l'algorithme CYK pour une analyse syntaxique efficace à l'aide de l'analyse des graphiques et discute de sa complexité et de sa technique d'analyse ascendante.

Analyseur: CYK Algorithm Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les grammaires formelles, les algorithmes d'analyse, l'efficacité de l'algorithme CYK et la correction syntaxique dans le traitement du langage naturel.

Analyse stochastique : approche probabiliste Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les grammaires stochastiques sans contexte, l'analyse probabiliste et l'estimation des probabilités.

Fonctions d'ordre supérieur: Théorie de l'unification Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les fonctions d'ordre élevé, l'analyseur et les concepts de vérificateur de type.

Le calcul Lambda et la sécurité des types: un aperçu Connectez-vous à Mediaspace pour regarder cette vidéo

Fournit un aperçu du calcul lambda, de la sécurité de type et de l'inférence de type dans les langages de programmation.

Page 2 sur 2