Passer au contenu principal

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

Graph
Search

Recherche

Afficher tous les résultats pour

Accueil

Cours

CS-320: Computer language processing

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de ce cours (73)

Gestion dynamique de la mémoire et répartition dynamique

Explore la gestion de la mémoire, la sécurité, les techniques automatisées, la collecte des ordures, la répartition dynamique et les fonctions de première classe.

Attribution de registre à l'aide de Graph Coloring

Couvre l'allocation des registres en utilisant la coloration graphique pour minimiser l'accès à la mémoire dans les programmes.

Optimisations de programme et idée d'interprétation abstraite

Couvre les optimisations de programmes, l'interprétation abstraite, les transformations algébriques et les analyses d'intervalles.

Implémentation efficace d'un langage dans GraalVM

Explore efficacement la mise en œuvre d'un nouveau langage de programmation dans GraalVM en utilisant l'évaluation partielle et le profilage d'accès à la mémoire.

Exactitude des compilateurs: Partie 1

Explore l'exactitude du compilateur, des exemples de compilateurs vérifiés, la vérification formelle et les défis des compilateurs de certification.

Exactitude des compilateurs: Partie 2

Explore l'exactitude des compilateurs, en mettant l'accent sur l'évaluation des expressions, la compilation bytecode et les opérations de pile.

Analyse statique pour Amy: Introduction à l'analyse basée sur l'AST

Introduit l'analyse basée sur l'AST et ses avantages sur les tests, couvrant ses applications, les implémentations de règles, et les limitations.

Opérations sur les langues formelles

Couvre les langages formels, les opérations comme l'union et la concaténation, et l'opération de l'étoile Kleene.

Analyse statique pour Amy: Techniques et Implémentations

Explore les techniques d'analyse statique comme l'analyse basée sur l'AST et l'analyse des taints appliquée au langage Amy.

Présentation CLP Parser Lab

Couvre la mise en œuvre d'un analyseur pour transformer les jetons en un Abstract Syntax Tree.

Expressions régulières et idée de Lexer

Couvre les expressions régulières, les contributions de Kleene, la logique, l'analyse lexicale et la construction manuelle du lexer.

Construire un Lexer : les premiers symboles

Couvre le calcul de 'nullable' et 'first' pour les expressions régulières, la conversion des expressions en lexer et la gestion des priorités de jetons.

Construire un Lexer : les premiers symboles

Couvre le calcul de 'nullable' et 'first' pour les expressions régulières.

Page 4 sur 4