Objectifs (en termes de compétences)

- comprendre, synthétiser et exposer des résultats récents de recherche en langages de programmation et en traducteurs;

- évaluer l'état de l'art dans le(s) domaine(s) abordé(s) et cerner les questions encore ouvertes;

- mettre en relation différentes questions actuelles des langages de programmation et des traducteurs.

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

Actuellement, lle séminaire est consacré à l'analyse statique des programmes par interprétation abstraite. 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, algorithme de calcul de points fixes. Ensuite, les étudiants réalisent individuellement ou, par groupe de deux, un analyseur statique pour le langage SLIP, précédemment implémenté aux travaux pratiques du cours de Langages et Traducteurs (INGI2132).

Résumé : Contenu et Méthodes

voir "Objet de l'activité"

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

- Pré-requis:
(1) INGI2131 - Concepts des langages informatiques
(2) INGI2132 - Langages et traducteurs

- Références:
Articles et/ou ouvrages récents.