Séances de cours associées à Analyse des noms

Analyse des noms : Phases de compilation et tableaux de symboles

Explore les phases du compilateur et le rôle des tables de symboles dans le mappage des variables vers les déclarations.

Interprétation et compilation du modèle

Explore l'interprétation des modèles, la compilation par l'évaluation partielle, les appels de fonctions et la transition vers l'évaluation partielle, en soulignant l'importance des interprètes modèles pour soutenir les langages de modélisation.

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.

Compilateur de vérification: Approche Spec#

Explore le système de programmation Spec#, en se concentrant sur un compilateur de vérification pour C# 2.0.

Sécurité des logiciels : Tests de sécurité - Sanitizers

Explore l'utilisation de désinfectants dans les tests de sécurité logicielle pour détecter les bogues tôt et améliorer l'efficacité des tests.