Date d'impression :
07.09.15
Page: http://test.sup-numerique.gouv.fr/pid31942/moteur-de-ressources.html
MOTEUR DE RESSOURCES
Consultez la rubrique :
Moteur de ressources
Fermer
Niv. 1
Niv. 2
Accueil du moteur de ressources
Ressources en auto-formation par mot-clé
C
compilateur
27
ressources en auto-formation :
compilateur
Rechercher
Tous les mots
Un des mots
L'expression exacte
FILTRES
1
2
3
1
2
3
Retour
Imprimer
Flux RSS
Date
Date
Titre
Auteur(s)
Affichage 10
Affichage 10
Affichage 20
Affichage 50
Affichage 100
27
résultats
page 1
sur 3
Résultats de
1 à 10
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 : ...
compilation
analyse lexicale
programme informatique
langage de programmation
compilateur
code source
automate
langage reconnaissable
expression régulière
LEX
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 ...
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
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, ...
langage C
algorithmique
programmation
norme ANSI
code source
compilation
identificateur
instruction
type de donnée
constante
variable
structure
déclaration
fonction
fonction sizeof
opérateur
instruction break
conversion
instruction switch
boucle
chaine de caractère
tableau
allocation dynamique
fonction malloc
fonction free
itération
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.
recherche en informatique
calculateur
Algol 60
compilateur
pénétration des TIC
fuscia
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 ...
compilateur
logiciel critique
programmation fonctionnelle
vérification de programme
vérification formelle
preuve formelle
fuscia
conference
stic
recherche
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 ...
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
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.
compilation
optimisation de code
programme informatique
langage de programmation
compilateur
code source
programmation assembleur
traduction dirigée par la syntaxe
analyse lexicale
analyse syntaxique
analyse sémantique
YACC
table de symbole
gestion des types
code intermédiaire
génération de code
optimisation
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 ...
compilation
génération de code
programme informatique
langage de programmation
compilateur
code source
traduction dirigée par la syntaxe
expression
instruction conditionnelle
boucle
appel de fonction
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 ...
compilation
gestion de la mémoire
programme informatique
langage de programmation
compilateur
code source
processus d'allocation
processus de substitution
représentation de l'information
allocation dynamique
appel de fonction
passage de paramètres
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 ...
compilation
gestion de type
programme informatique
langage de programmation
compilateur
code source
analyse de type
système de typage
1
2
3