Abstract interpretation [ LINGI2339 ]

• Analyse statique des programmes par interprétation abstraite.

Les étudiants ayant suivi avec fruit ce cours seront capables de

• 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".

Les étudiants auront développé des compétences méthodologiques et opérationnelles. En particulier, ils ont développé leur capacité à

• utiliser des méthodes rigoureuses pour explorer un problème et élaborer une solution

• examen écrit en session
• projet

• 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 le langage SLIP. Cet analyseur est intégré au compilateur réalisé au cours INGI2132. Il permet d'optimiser et de détecter les erreurs de programmation contenues dans les programmes SLIP.

• domaines de données abstraits,
• sémantique abstraite,
• algorithmes de calcul de points fixes.

Articles sur l'interprétation abstraite des programmes

Préalables:

• INGI2132 - Langages et traducteurs