Séance de cours
Type de vérification dans Compiler Frontend
Description
Cette séance de cours couvre l'implémentation d'un checker de type dans la façade du compilateur, qui capture les erreurs au moment de la compilation et génère des contraintes de dactylographie pour assurer la correction du programme. Le processus consiste à transformer un Arbre Nominal en Arbre Symbolique, à vérifier les règles de nommage et à unifier les contraintes jusqu'à ce qu'aucun ne soit laissé.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.