1 ressource : système de typage

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1 ressource
page 1 sur 1
résultats 1 à 1
UNIT
Gestion de type (Compilation : théorie, techniques et outils)
Description : 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 ...
Mots clés : compilation, gestion de type, programme informatique, langage de programmation, compilateur, code source, analyse de type, système de typage
Date : 22-12-2010
Droits : Ces contenus sont la propriété, à parts égales, d’UNIT et de l'INSA de Rouen. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf
 En savoir plus
 Description complète
Gestion de type (Compilation : théorie, techniques et outils)
 Ajouter à mon panier
Accéder aux documents