Gestion de type (Compilation : théorie,techniques et outils)

Ce cours présente la notion de types dans un compilateur ainsi que les problèmes d'analyse de type et de vérification de types. Il donne l'exemple d'un système de typage simple.  Thème 5 de l'ensemble Compilation : théorie,techniques et outils organisé en 10 thèmes et contenant cours,exemples et exercices résolus.

Disciplines : Systèmes d'Exploitation : Traducteurs de langages de programmation
Mots-clés : compilation,gestion de type,programme informatique,langage de programmation,compilateur,code source,analyse de type,système de typage
Type de document : texte,image,ressource interactive
Type de ressource : lecture,exercise,jeu de données
Niveau : higher education,master,bac+4,bac+5
Publics visés : learner,teacher
Auteurs ou éditeurs : Habib Abdulrab,Claude Moulin,Sid Touati,Élodie Briere,Christine Legemble,Institut National des Sciences Appliquées de Rouen,Université de Technologie de Compiègne,Université de Versailles Saint-Quentin en Yvelines,UNIT