UCL - Abstract interpretation

[INGI2339]

[30h + 15h] 5 crédits

Cette activité se déroule pendant le 1er quadrimestre.

Enseignants : Baudouin Le Charlier

Langue d'enseignement : Anglais

Niveau : Second cycle

Objectifs (en termes de compétences)
Objet de l'activité (principaux thèmes à aborder)
Résumé : Contenu et Méthodes
Autres informations (Pré-requis, Evaluation, Support, ...)

Objectifs (en termes de compétences)

- comprendre et appliquer les méthodes liées aux sémantiques mathématiques des langages de programmation ;
- relier ces méthodes au problème plus général de la construction de logiciels corrects et "robustes".

Objet de l'activité (principaux thèmes à aborder)

Le séminaire est consacré à l'analyse statique des programmes par interprétation abstraite.

Résumé : Contenu et Méthodes

Lors des cinq premières semaines, les bases théoriques et pratiques de l'interprétation abstraite sont exposées : domaines de données abstraits, sémantique abstraite, algorithmes de calcul de points fixes.
Ensuite, les étudiants réalisent individuellement ou, par groupe de deux, un analyseur statique pour un langage de programmation précédemment implémenté aux travaux pratiques du cours de Langages et Traducteurs (INGI2132).

Autres informations (Pré-requis, Evaluation, Support, ...)

Pré-requis:
- INGI2131 - Concepts des langages informatiques
- INGI2132 - Langages et traducteurs

Références:
Articles sur l'interprétation abstraite des programmes