30499 résultats

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
30499 résultats
page 6 sur 3050
résultats 51 à 60
UNIT
Description : 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 ...
Mots clés : compilation, gestion de type, programme informatique, langage de programmation, compilateur, code source, analyse de type, système de typage
Date : 22-12-2010
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
UNIT
Description : Ce cours présente la construction d'une table de symboles, et de structures de données centrales dans un compilateur. Il montre aussi des implémentations efficaces et des interfaces. Thème 4 de l'ensemble "Compilation : théorie, techniques et outils" organisé en 10 thèmes et contenant cours, exemples ...
Mots clés : compilation, table de symboles, programme informatique, langage de programmation, compilateur, code source, structure de donnée, identification, portée d'un identificateur, surcharge, portée
Date : 22-12-2010
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
UNIT
Description : Ce cours présente les notions de traduction S-attribuée et L-attribuée. Il explique les mécanismes permettant d'extraire des informations sémantiques sur un programme source. Il définit la notion d'attribut et les différents types d'attributs, ainsi que des règles sémantiques et donne quelques e ...
Mots clés : compilation, analyse sémantique, programme informatique, langage de programmation, compilateur, code source, traduction dirigée par la syntaxe, schéma de traduction, grammaire attribuée, grammaire S-attribuée, grammaire L-attribuée, attribut
Date : 22-12-2010
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
UNIT
Description : Se basant sur des pré-requis en théorie des langages (grammaires et automates à pile), ce cours montre les aspects théoriques à partir desquels on peut créer automatiquement des parseurs de langages structurés. Il aborde les deux grandes familles de parseurs : LL et LR. Des rudiments de présentation ...
Mots clés : compilation, analyse syntaxique, programme informatique, langage de programmation, compilateur, code source, parseur, analyse de programme, analyse descendante, analyse ascendante, expression régulière, automate à pile, modèle mathématique, AntLR, YACC
Date : 22-12-2010
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
UNIT
Description : Présentation des automates, les expressions régulières et les scanners (transducteurs). Il explique comment créer automatiquement des scanners permettant de retrouver les unités lexicales dans un programme source. Il présente également des rudiments de Lex. Thème 1 de l'ensemble "Compilation : ...
Mots clés : compilation, analyse lexicale, programme informatique, langage de programmation, compilateur, code source, automate, langage reconnaissable, expression régulière, LEX
Date : 22-12-2010
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
UNIT
Description : Cours d'introduction présentant la compilation et ses enjeux. Thème premier de l'ensemble "Compilation : théorie, techniques et outils" organisé en 10 thèmes et contenant cours, exemples et exercices résolus.
Mots clés : compilation, code source, programme informatique, langage de programmation, compilateur, chaîne de transformation, structures de donnée, optimisation, code machine, langage intermédiaire, code cible
Date : 22-12-2010
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
UNIT
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 ...
Mots clés : 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
Date : 22-12-2010
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
Canal-U
Description :                         Table-ronde • Les socialismes de la Corne de l’Afrique Modérateurs : Pierre Guidi et Pap Ndiaye  Qu’y a-t-il de commun entre les socialismes d’Éthiopie, du Kenya, de l’Erytrée et de Somalie? Intervenants : Mohammed Abdulrahman (International Institute of Social History) ; ...
Mots clés : Socialisme d'Ethiopie, Socialisme du Kenya, Socialisme de L'Erytrée, Socialisme de Somalie
Date : 07-04-2016
Droits réservés à l'éditeur et aux auteurs. CC-BY-NC-SA
Canal-U
Description : Journées nationales AUNEGE 2012 - Vendredi 23 mars 2012 Synthèse et clôture Denis Abecassis
Mots clés : TICE, UNT
Date : 23-03-2012
Droits réservés à l'éditeur et aux auteurs.
Canal-U
Description : Printemps UNT 2014 - Première conférence commune des UNT sur le numérique dans les établissements de l'enseignement supérieur. Journée AUNEGE - 3 juin 2014 Amphithéâtre BENE de la Faculté de pharmacie - Université de Lorraine "Synthèse de la journée" par Denis Abécassis, Président d'AUNEGE, ...
Mots clés : AUNEGE, ressources numériques, projets, structure
Date : 07-07-2014
Droits réservés à l'éditeur et aux auteurs. Creative Commons (BY NC)