Rechercher une ressource pédagogique : analyse de programme

Le moteur de recherche des ressources pédagogiques donne accès à un ensemble de documents mis à disposition par l'Université Numérique, les établissements d'enseignement supérieur et Canal U. Vous y trouverez des productions universitaires dans l'ensemble des domaines de formation.

FILTRES

3 résultats
section 1 sur 1
résultats 1 à 3
UNIT
UNIT
22.12.2010
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
Canal-U
Canal-U
18.01.2012
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
Canal-U
Canal-U
18.01.2012
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