Du langage à l'action : compilation et typage : Différence entre versions
De Sciencinfolycee
Ligne 7 : | Ligne 7 : | ||
|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. | |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 | |Catégorie=1.3. Langage de programmation | ||
− | |Mots-clés contrôlés= | + | |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 | |Mots-clés=*analyse statique | ||
|SiloTypeDocumentaire=image en mouvement | |SiloTypeDocumentaire=image en mouvement | ||
|SiloTypologieGenerale=conférence | |SiloTypologieGenerale=conférence | ||
− | |Date= | + | |Date=1970/01/01 |
|SiloStructure=atomique | |SiloStructure=atomique | ||
|SiloNiveauAgregation=2.une collection de ressources de niveau 1 | |SiloNiveauAgregation=2.une collection de ressources de niveau 1 |
Version du 16 septembre 2011 à 15:32
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) | 1.3. 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 |
|
Type documentaire | image en mouvement |
Typologie Générale | conférence |
Date de publication | 1970/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) ; 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.