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é
A
analyse de programme
3
ressources en auto-formation :
analyse de programme
Rechercher
Tous les mots
Un des mots
L'expression exacte
FILTRES
1
1
Retour
Imprimer
Flux RSS
Date
Date
Titre
Auteur(s)
Affichage 10
Affichage 10
Affichage 20
Affichage 50
Affichage 100
3
résultats
page 1
sur 1
Résultats de
1 à 3
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
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie
Auteur(s)
:
GIRAULT Alain, JEANNET Bertrand
Description
:
Nous présentons les systèmes embarqués critiques et les exigences qui leur sont liées : dans certains cas (nucléaire, avionique, santé) aucun bug n'est accepté. Puis nous présentons l'analyse statique, que nous illustrons sur un exemple de programme. Nous montrons que pour analyser des variables ...
algorithmique
treillis de Galois
preuve de programme
analyse de programme
sémantique programmation
génie logiciel
cours / présentation
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 1ère partie
Auteur(s)
:
GIRAULT Alain, JEANNET Bertrand
Description
:
Nous présentons les systèmes embarqués critiques et les exigences qui leur sont liées : dans certains cas (nucléaire, avionique, santé) aucun bug n'est accepté. Puis nous présentons l'analyse statique, que nous illustrons sur un exemple de programme. Nous montrons que pour analyser des variables ...
algorithmique
treillis de Galois
preuve de programme
analyse de programme
sémantique programmation
génie logiciel
1