Ressource pédagogique : Comment faire confiance à un compilateur ?
Comment faire exécuter par une machine des programmes écrits dans un langage de haut niveau, qu?elle ne peut comprendre ?...
cours / présentation, démonstration - Date de création : 30-03-2010
Présentation de: Comment faire confiance à un compilateur ?
Informations pratiques sur cette ressource
Français
Type pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Langue de l'apprenant : Français
Contenu : texte, image, ressource interactive
Public(s) cible(s) : apprenant
Document : Document HTML
Age attendu de l'utilisateur : 18+
Droits : pas libre de droits, gratuit
Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
Description de la ressource pédagogique
Description (résumé)
Comment faire exécuter par une machine des programmes écrits dans un langage de haut niveau, qu?elle ne peut comprendre ?
- Granularité : grain
- Structure : atomique
"Domaine(s)" et indice(s) Dewey
- (005.453)
Thème(s)
Informations pédagogiques
Informations techniques sur cette ressource pédagogique
Intervenants, édition et diffusion
Intervenants
Créateur(s) de la métadonnée : Marie-Hélène Comte
Editeur(s)
-
Institut National de Recherche en Informatique et en Automatique / Interstices
Voir toutes les ressources pédagogiques
Diffusion
AUTEUR(S)
-
Xavier Leroy
INRIA
ÉDITION
Institut National de Recherche en Informatique et en Automatique / Interstices
EN SAVOIR PLUS
-
Identifiant de la fiche
http://ori.unit-c.fr/uid/unit-ori-wf-1-4873 -
Identifiant
unit-ori-wf-1-4873 -
Statut de la fiche
final -
Schéma de la métadonnée
- LOMv1.0
- LOMFRv1.0
- SupLOMFRv1.0
- Voir la fiche XML
-
Entrepôt d'origine
UNIT -
Date de publication
21-05-2010
