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

De Sciencinfolycee
Aller à : navigation, rechercher
Ligne 1 : Ligne 1 :
 
{{Ressource
 
{{Ressource
 +
|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
 
|Titre=Du langage à l'action : compilation et typage
|Auteur(s)=Leroy, Xavier  
+
|Auteur(s)=Leroy, Xavier
|URL=http://www.college-de-france.fr/default/EN/all/inn_tec2007/Du_langage_a_laction_compil__1.jsp
+
|SiloRole=auteur;
|Catégorie=2.3. Compilation et vérification
+
|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.  
 +
|Catégorie=1.3. Langage de programmation, 2.3. Compilation et vérification
 +
|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=analyse statique, itération, récursion
 +
|SiloTypeDocumentaire=image en mouvement
 +
|SiloTypologieGenerale=banque de vidéo
 +
|Date=2007/01/01
 +
|SiloStructure=atomique
 +
|SiloNiveauAgregation=2.une collection de ressources de niveau 1
 
|Format=cours (vidéo)
 
|Format=cours (vidéo)
|Date=2007
+
|SiloDuree=61.32
 +
|SiloTypePedagogique=cours / présentation
 +
|SiloPublicCible=enseignant
 +
|Evaluateur=Julia (demandeur+validateur); Diane Rives (indexation)
 +
|Statut d'évaluation=en cours d'indexation
 
|Visibilité=Public
 
|Visibilité=Public
|Mots-clés=langage machine, compilation, langage de programmation, algorithme, analyse statique, itération, récursion, pile, optimisation de code
 
|Statut d'évaluation=proposé
 
|Evaluateur=Julia
 
 
}}
 
}}

Version du 4 juillet 2011 à 14:33

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, l'optimisation du code, le typage, et le lien avec la logique mathématique.
Sélection(s) thématique(s) 1.3. Langage de programmation ; 2.3. Compilation et vérification
Mots-clés normalisés Langage machine« Langage machine » n'est pas la liste (2D, 3D, 4D, abstraction de périphérique, abstraction des systèmes d'exploitation, accéléromètre, Ackermann, Wilhelm : 1896-1962, actionneur, actionneur orienté homme, ActionScript, ...) des valeurs autorisées pour la propriété « Mot-cle normalise » . ; Compilation de langages de programmation« Compilation de langages de programmation » n'est pas la liste (2D, 3D, 4D, abstraction de périphérique, abstraction des systèmes d'exploitation, accéléromètre, Ackermann, Wilhelm : 1896-1962, actionneur, actionneur orienté homme, ActionScript, ...) des valeurs autorisées pour la propriété « Mot-cle normalise » . ; Langage de programmation« Langage de programmation » n'est pas la liste (2D, 3D, 4D, abstraction de périphérique, abstraction des systèmes d'exploitation, accéléromètre, Ackermann, Wilhelm : 1896-1962, actionneur, actionneur orienté homme, ActionScript, ...) des valeurs autorisées pour la propriété « Mot-cle normalise » . ; Algorithme classique« Algorithme classique » n'est pas la liste (2D, 3D, 4D, abstraction de périphérique, abstraction des systèmes d'exploitation, accéléromètre, Ackermann, Wilhelm : 1896-1962, actionneur, actionneur orienté homme, ActionScript, ...) des valeurs autorisées pour la propriété « Mot-cle normalise » . ; Pile : informatique« Pile : informatique » n'est pas la liste (2D, 3D, 4D, abstraction de périphérique, abstraction des systèmes d'exploitation, accéléromètre, Ackermann, Wilhelm : 1896-1962, actionneur, actionneur orienté homme, ActionScript, ...) des valeurs autorisées pour la propriété « Mot-cle normalise » . ; Optimisation de code« Optimisation de code » n'est pas la liste (2D, 3D, 4D, abstraction de périphérique, abstraction des systèmes d'exploitation, accéléromètre, Ackermann, Wilhelm : 1896-1962, actionneur, actionneur orienté homme, ActionScript, ...) des valeurs autorisées pour la propriété « Mot-cle normalise » .
Proposition autres mots-clés analyse statique, itération, récursion
Type documentaire image en mouvement
Typologie Générale banque de vidéo
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
Section processus de validation (workflow)
Intervenants Julia (demandeur+validateur); Diane Rives (indexation)
Statut du workflow en cours d'indexation

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.