Du langage à l'action : compilation et typage : Différence entre versions

De Sciencinfolycee
Aller à : navigation, rechercher
 
(7 révisions intermédiaires par 4 utilisateurs non affichées)
Ligne 3 : Ligne 3 :
 
|Titre=Du langage à l'action : compilation et typage
 
|Titre=Du langage à l'action : compilation et typage
 
|Auteur(s)=Leroy, Xavier
 
|Auteur(s)=Leroy, Xavier
|SiloRole=auteur;  
+
|SiloRole=auteur;
 
|SiloLangue=fre
 
|SiloLangue=fre
|Résumé=Vidéo divisée en 4 grandes parties traitant successivement de la compilation, l'optimisation du code, le typage, et le lien avec la logique mathématique.  
+
|Résumé=Vidéo divisée en 4 grandes parties traitant successivement de la compilation, de l'optimisation du code, du typage et du lien avec la logique mathématique.
|Catégorie=1.3. Langage de programmation, 2.3. Compilation et vérification
+
|Catégorie=Langage de programmation
|Mots-clés contrôlés=Langage machine; Compilation de langages de programmation; Langage de programmation; Algorithme classique; Pile : informatique; Optimisation de code;  
+
|Mots-clés contrôlés=langage machine; compilation de langages de programmation; langage de programmation; algorithme classique; pile : informatique; optimisation de code; algorithme itératif; récursivité;
|Mots-clés=analyse statique, itération, récursion
+
|Mots-clés=*analyse statique
 
|SiloTypeDocumentaire=image en mouvement
 
|SiloTypeDocumentaire=image en mouvement
|SiloTypologieGenerale=banque de vidéo
+
|SiloTypologieGenerale=conférence
 
|Date=2007/01/01
 
|Date=2007/01/01
 
|SiloStructure=atomique
 
|SiloStructure=atomique
 
|SiloNiveauAgregation=2.une collection de ressources de niveau 1
 
|SiloNiveauAgregation=2.une collection de ressources de niveau 1
 
|Format=cours (vidéo)
 
|Format=cours (vidéo)
|SiloDuree=61.32
+
|SiloDuree=61'32"
 
|SiloTypePedagogique=cours / présentation
 
|SiloTypePedagogique=cours / présentation
 
|SiloPublicCible=enseignant
 
|SiloPublicCible=enseignant
|Evaluateur=Julia (demandeur+validateur); Diane Rives (indexation)
+
|SiloDroit=© Collège de France - 13 janvier 2010
|Statut d'évaluation=en cours d'indexation
+
|Evaluateur=Julia (demandeur+validateur); Diane Rives (indexation) ; MG
 +
|Statut d'évaluation=publiée
 
|Visibilité=Public
 
|Visibilité=Public
 
}}
 
}}

Version actuelle datée du 24 février 2012 à 17:14

Section Description
URL http://www.college-de-france.fr/default/EN/all/inn tec2007/Du langage a laction compil 1.htm
Titre Du langage à l'action : compilation et typage
Auteur(s) Leroy, Xavier
Fonction(s) auteur
Notes
Section Analyse
Langue fre
Résumé Vidéo divisée en 4 grandes parties traitant successivement de la compilation, de l'optimisation du code, du typage et du lien avec la logique mathématique.
Sélection(s) thématique(s) Langage de programmation
Mots-clés normalisés langage machine ; compilation de langages de programmation ; langage de programmation ; algorithme classique ; pile : informatique ; optimisation de code ; algorithme itératif ; récursivité
Proposition autres mots-clés
  • analyse statique
Type documentaire image en mouvement
Typologie Générale conférence
Date de publication 2007/01/01
Structure du document atomique
Niveau d'agrégation 2.une collection de ressources de niveau 1
Exigences techniques cours (vidéo)
Durée (en min) 61'32"
Section Pédagogie
Type pédagogique cours / présentation
Public cible enseignant
Utilisation pédagogique
Section Droits
Droits du document © Collège de France - 13 janvier 2010
Section processus de validation (workflow)
Intervenants Julia (demandeur+validateur); Diane Rives (indexation) ; MG
Statut du workflow publiée

Signaler cette ressource. Si ce lien de signalement ne fonctionne pas (ouverture intempestive d'un mailer alors que vous utilisez un webmail) c'est qu'il vous manque l'extension idoine dans votre navigateur (par exemple l'extension send-mail pour firefox); c'est une bonne occasion de l'installer.