Interprétation abstraite

FUNDP-INFO-3105 -- B. Le Charlier -- 30-0-0 -- Cours de 3ème cycle

Objectif

Exposer les concepts algorithmiques, mathématiques et méthodologiques permettant la construction systématique d'analyses statiques de langages formels (de programmation ou autres).

Prérequis

Syntaxe et sémantiques des langages de programmation:
FUNDP-INFO2108: Syntaxe et sémantiques des langages de programmation

Contenu

• Cadre mathématique : Fonctions de concrétisation et d'abstraction, insertion de Galois.
• Approche opérationnelle : Abstraction de la sémantique opèrationnelle, algorithmes abstraits et tabulation, granularité (algorithmes uni- et poly-variants).
• Approche du point fixe : Sémantique ``collectionneuse'' (collecting), sémantique abstraite générique, algorithmes de point fixe, élargissements et rétrécissements.
• Construction de domaines abstraits : sommes, produits communicants, domaines génériques.
• Applications en programmation logique, fonctionnelle, distribuée, ...

Pédagogie

Références