salle A. Turing CE4
9 novembre 2012 - 14h00
Inférences de propriétés de terminaison par itération de stratégies
par Damien Massé de Université de Bretagne Occidentale (Brest)
Résumé : Dans le cadre de l'interprétation abstraite, les techniques d'itérations de polices (ou de stratégies) ont été proposées comme alternative à la méthode classique d'élargissement/rétrécissement pour approximer des points fixes avec une précision accrue. Nous étudions ici l'application de ces techniques à la surapproximation de plus grands points fixes, afin d'inférer des conditions suffisantes de terminaison. Nous examinons tout d'abord les résultats de cette approche sur des programmes affines et le domaine des polyèdres paramétriques. Puis nous étudions les possibilités d'étendre cette approche à d'autres programmes ou domaines.
