27 ressources en auto-formation : compilation

FILTRES

27 résultats
page 0 sur 3
Résultats de -9 à 0
Présentation de la ressource en auto-formation Analyse syntaxique (Compilation : théorie, techniques et outils) cours / présentation, exercice, jeu de données
22/12/2010
Analyse syntaxique (Compilation : théorie, techniques et outils)
Auteur(s) : Abdulrab Habib, Moulin Claude, Touati Sid
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 ...
Présentation de la ressource en auto-formation Cfacile : Introduction au langage C cours / présentation, autoévaluation, exercice, simulation, jeu de données, liste de références, questionnaire
01/03/2010
Cfacile : Introduction au langage C
Auteur(s) : Boufflet Jean-Paul, Trigano Philippe, Benmimoun Amir
Description : Cfacile est un support interactif de cours pour l'apprentissage des concepts de base de l’algorithmique et de la programmation en C, à destination des débutants. Il comporte quatre parties : une base théorique structurée sous la forme de 9 chapitres de cours, un ensemble d'exercices interactifs, ...
Présentation de la ressource en auto-formation Claude Pair : un mathématicien qui rêvait de programmation cours / présentation, démonstration
11/10/2007
Claude Pair : un mathématicien qui rêvait de programmation
Auteur(s) : Bellin Isabelle
Description : Précurseur français de la recherche en informatique, Claude Pair a toujours eu une vision très pragmatique de cette discipline, qu’il concevait pour soulager le travail, affranchir des contraintes spatiales et temporelles.
Présentation de la ressource en auto-formation Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern) cours / présentation
11/12/2009
Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern)
Auteur(s) : Leroy Xavier
Description : Les outils de vérification formelle de programmes (analyseurs statiques, prouveurs de programmes, model-checkers) ont fait des progrès remarquables ces dernières années et commencent à percer dans le monde du logiciel critique. Cependant, ces outils ne vérifient "que" des programmes source: des ...
Présentation de la ressource en auto-formation Compilation : théorie, techniques et outils - ensemble des ressources cours / présentation, exercice, jeu de données, questionnaire
22/12/2010
Compilation : théorie, techniques et outils - ensemble des ressources
Auteur(s) : Abdulrab Habib, Moulin Claude, Touati Sid
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 ...
Présentation de la ressource en auto-formation Exercices (Compilation : théorie, techniques et outils) exercice, jeu de données, questionnaire
22/12/2010
Exercices (Compilation : théorie, techniques et outils)
Auteur(s) : Abdulrab Habib, Moulin Claude, Touati Sid
Description : TDs qui relèvent d'un ou plusieurs thèmes. Composant d'exercices de l'ensemble "Compilation : théorie, techniques et outils" organisé en 10 thèmes et contenant cours, exemples et exercices résolus.
Présentation de la ressource en auto-formation Génération de code (Compilation : théorie, techniques et outils) cours / présentation, exercice, jeu de données
22/12/2010
Génération de code (Compilation : théorie, techniques et outils)
Auteur(s) : Abdulrab Habib, Moulin Claude, Touati Sid
Description : Ce cours montre l'utilisation de la traduction dirigée par la syntaxe pour générer du code valide et en particulier la génération de code sur machine à pile et sur machine à registres. Il donne des exemples de génération de code pour des expression arithmétique, des structures de contrôle, des appels ...
Présentation de la ressource en auto-formation Gestion de la mémoire (Compilation : théorie, techniques et outils) cours / présentation, exercice, jeu de données
22/12/2010
Gestion de la mémoire (Compilation : théorie, techniques et outils)
Auteur(s) : Abdulrab Habib, Moulin Claude, Touati Sid
Description : Ce cours présente les processus d'allocation et de substitution. Il montre comment fait un compilateur pour transformer des données de haut niveau en données de bas niveau (mémoire linéaire). Thème 6 de l'ensemble "Compilation : théorie, techniques et outils" organisé en 10 thèmes et contenant ...
Présentation de la ressource en auto-formation Gestion de type (Compilation : théorie, techniques et outils) cours / présentation, exercice, jeu de données
22/12/2010
Gestion de type (Compilation : théorie, techniques et outils)
Auteur(s) : Abdulrab Habib, Moulin Claude, Touati Sid
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 ...
Présentation de la ressource en auto-formation Informatique générale appliquée à la géomatique cours / présentation
23/05/2012
Informatique générale appliquée à la géomatique
Auteur(s) : Bouillé François
Description : Cours d'informatique dédié à la géomatique qui allie approfondissement des connaissances informatique et étude des Systèmes d'Information Géographique. Il a pour but de présenter les outils de base pour la profession de Géomaticien. Il a aussi pour but, par une pratique intense et quotidienne des ...