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

Accédez à la ressource pédagogique Gestion de type (Compilation : théorie, techniques et outils)
Mots-clés :
Accéder aux ressources pédagogiques
cours / présentation, exercice, jeu de données - Date de création : 22-12-2010
Auteur(s) : Habib Abdulrab, Claude Moulin, Sid Touati
Partagez !

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

Informations pratiques sur cette ressource

Langue du document : Français
Type pédagogique : cours / présentation, exercice, jeu de données
Durée d'apprentissage : 18 heures
Niveau : enseignement supérieur, master, bac+4, bac+5
Langue de l'apprenant : Français
Contenu : texte, image, ressource interactive
Public(s) cible(s) : apprenant, enseignant
Document : Document HTML, Document PDF, Archive compressée ZIP, Document Open Office présentation
Droits d'auteur : pas libre de droits, gratuit
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

Description de la ressource pédagogique

Description (résumé)

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.

  • Granularité : cours
  • Structure : linéaire

"Domaine(s)" et indice(s) Dewey

  • Systèmes d'Exploitation : Traducteurs de langages de programmation (005.45)

Thème(s)

Informations techniques sur cette ressource pédagogique

  • Remarques d'installation : Cours à consulter en ligne ou à télécharger au format PDF, ODT ou bien sous la forme d'une archive des fichiers source. Ce thème fait également l'objet d'un module SCORM.

Intervenants, édition et diffusion

Intervenants

Contributeur(s) : Élodie Briere, Christine Legemble
Validateur(s) de la métadonnée : Sylvain Duranton

Éditeur(s)

Diffusion

Document(s) annexe(s) - Gestion de type (Compilation : théorie, techniques et outils)

Partagez !

AUTEUR(S)

  • Habib Abdulrab
    INSA Rouen
  • Claude Moulin
    UTC
  • Sid Touati
    UVSQ

ÉDITION

Institut National des Sciences Appliquées de Rouen

Université de Technologie de Compiègne

Université de Versailles Saint-Quentin en Yvelines

UNIT

EN SAVOIR PLUS

  • Identifiant de la fiche
    http://ori.unit-c.fr/uid/unit-ori-wf-1-5003
  • Identifiant
    oai:www.unit.eu:unit-ori-wf-1-5003
  • Schéma de la métadonnée
  • Entrepôt d'origine
    UNIT
  • Date de publication
    22-12-2010