3 résultats : analyse de programme

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
3 résultats
page 1 sur 1
résultats 1 à 3
UNIT
Analyse syntaxique (Compilation : théorie, techniques et outils)
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 ...
Mots clés : 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
Date : 22-12-2010
Format : Document HTML, Document PDF, Document Open Office présentation, Archive compressée ZIP
Auteur : Abdulrab Habib, Moulin Claude, Touati Sid
Thème : Informatique
Type de la ressource pédagogique : cours / présentation, exercice, jeu de données
Niveau : enseignement supérieur, master, bac+4, bac+5
Public : apprenant, enseignant
Droits : Ces contenus sont la propriété, à parts égales, d’UNIT et de l'INSA de Rouen. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf
Canal-U
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 1ère partie
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 ...
Mots clés : algorithmique, treillis de Galois, preuve de programme, analyse de programme, sémantique programmation, génie logiciel
Date : 18-01-2012
Format : video/mp4
Auteur : GIRAULT Alain, JEANNET Bertrand
Thème : Informatique
Type de la ressource pédagogique : cours / présentation
Niveau : formation continue
Droits : Droits réservés à l'éditeur et aux auteurs. Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
Canal-U
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie
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 ...
Mots clés : algorithmique, treillis de Galois, preuve de programme, analyse de programme, sémantique programmation, génie logiciel
Date : 18-01-2012
Format : video/mp4
Auteur : GIRAULT Alain, JEANNET Bertrand
Thème : Informatique
Type de la ressource pédagogique : cours / présentation
Niveau : formation continue
Droits : Droits réservés à l'éditeur et aux auteurs. Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)