Course Syllabus 2013/2014
 
PDF Extract Anglais
Français
index
Module : IF312
Title :
Analyse de programmes
Number of hours :
Lecture : 16.00 h
Tutorial classes : 16.00 h
ECTS credits :
4.00
Level :
third year module
Abstract :
L'objectif de ce cours est de découvrir les techniques d'analyses de programmes structurés.
Plan :
Ce cours s'articule autour des points suivants :
  • Grammaires attribuées
  • Vérification de types
  • Introduction à l'optimisation de programmes
  • Introduction à l'analyse de flot de données
  • Quelques problèmes de flots de données
  • Analyse de définitions
  • Analyse de pointeurs
  • Analyse de dépendances
  • Optimisation de programmes
  • Document(s) :
    Polycopiés