3 ressources en auto-formation : analyse de programme

FILTRES

3 résultats
page 1 sur 1
Résultats de 1 à 3
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 Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie 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 ...
Présentation de la ressource en auto-formation Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 1ère partie 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 ...