UNIT

Sommaire

cours / présentation, exercice, jeu de données

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...

Date de création :

22.12.2010

Auteur(s) :

Habib Abdulrab, Claude Moulin, Sid Touati

Accéder à la ressource :

Présentation

Informations pratiques

Langue du document : Français
Type : cours / présentation, exercice, jeu de données
Temps d'apprentissage : 18 heures
Niveau : enseignement supérieur, master, bac+4, bac+5
Langues : 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

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)

Domaine(s)

  • Informatique
  • Systèmes d'exploitation, interpréteurs, compilateurs
  • Informatique

Informations techniques

  • 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

Édition

  • Institut National des Sciences Appliquées de Rouen
  • Université de Technologie de Compiègne
  • Université de Versailles Saint-Quentin en Yvelines
  • UNIT

Diffusion

Cette ressource vous est proposée par :UNIT - accédez au site internetUNIT - accédez au site internet

Document(s) annexe(s)

Fiche technique

Identifiant de la fiche : http://ori.unit-c.fr/uid/unit-ori-wf-1-5003
Identifiant OAI-PMH : oai:www.unit.eu:unit-ori-wf-1-5003
Schéma de la métadonnée : oai:uved:Cemagref-Marine-Protected-Areas
Entrepôt d'origine : UNIT

Publication : 22.12.2010

compilation
gestion de type
programme informatique
langage de programmation
compilateur
code source
analyse de type
système de typage

Voir aussi

UNIT
UNIT
22.12.2010
Compilation : théorie, techniques et outils - ensemble des ressources
Description : L'ensemble "Compilation : théorie, techniques et outils" vise à fournir des cours synthétiques sur la compilation et ses techniques, allant de l’analyse lexicale et syntaxique jusqu’à l’introduction à l’optimisation du code. Cet enseignement est organisé en 10 thèmes contenant cours, exemples et ...
  • compilation
  • représentation intermédiaire
  • programme informatique
  • langage de programmation
  • compilateur
  • code source
  • langage intermédiaire
  • analyse lexicale
  • analyse syntaxique
  • gestion mémoire
  • gestion de type
  • table de symbole
  • traduction dirigée par la syntaxe
  • optimisation de code
UNIT
UNIT
22.12.2010
Introduction à l'optimisation de code (Compilation : théorie, techniques et outils)
Description : Ce cours présente les enjeux, les difficultés et quelques techniques de base de génération de code efficace. Thème 9 de l'ensemble "Compilation : théorie, techniques et outils" organisé en 10 thèmes et contenant cours, exemples et exercices résolus.
  • compilation
  • optimisation de code
  • programme informatique
  • langage de programmation
  • compilateur
  • code source
  • performance d'un programme
  • analyse de code