IDL

Ingénierie Du Logiciel

  • Full Screen
  • Wide Screen
  • Narrow Screen
  • Increase font size
  • Default font size
  • Decrease font size

Séminaire IDL 27/11/2012

Envoyer Imprimer

Intervenant : Damien Massé, Maître de Conférences, Lab-STICC/UBO.

Titre : Analyse de terminaison par itérations de stratégies.

Date & Lieu : Mardi 27 Novembre 2012, 14h-15h30, salle 117-A, 1er étage, Bâtiment LC, site AES, UBO.


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.
You are here: