Cours

CS-320: Computer language processing

Séances de ce cours (73)

Couvre le Compiler Extension Lab, en se concentrant sur l'ajout de nouvelles fonctionnalités à un compilateur de langage fonctionnel simple.

Traduire le contrôle avec les paramètres de destination

Couvre la traduction efficace des structures de flux de contrôle en utilisant les paramètres de destination de branche et la compilation des instructions de commutateur avec des pauses.

Compilation avec les paramètres de destination de branche

Couvre la traduction des fragments de programme, des instructions de commutation et des instructions de rupture dans les langages de programmation.

S'inscrire Machine

Couvre l'efficacité des machines de registre sur les machines de pile, l'organisation de la mémoire et les instructions de cartographie.

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.

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.