27 ressources en auto-formation : compilateur

FILTRES

27 résultats
page 1 sur 3
Résultats de 1 à 10
Présentation de la ressource en auto-formation Analyse lexicale (Compilation : théorie, techniques et outils) cours / présentation, exercice, jeu de données
22/12/2010
Analyse lexicale (Compilation : théorie, techniques et outils)
Auteur(s) : Abdulrab Habib, Moulin Claude, Touati Sid
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 : ...
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 ...