*********************************************************************
*                       Ecole Normale Supe'rieure                   *
*                                                                   *
*                              Se'minaire                           *
*                SEMANTIQUE ET INTERPRETATION ABSTRAITE             *
*                              P. Cousot                            *
*                                                                   *
*                        Vendredi, 14h00--15h30                     *
*                 Salle W, 4e`me e'tage, toits du DMI               *
*                 DMI  ENS  45 rue d'Ulm  75005 Paris               *
*********************************************************************

*** Vendredi 3 octobre 1997 **** 14h00 ******************************

Analyse comportementale modulaire d'ordre supe'rieur par interpre'tation
abstraite. Application a` une analyse simple de complexite'.

Franck VE'DRINE (LIENS)

Re'sume' :
     Dans cet expose', j'essaierai de montrer comment de'terminer le maximum
de proprie'te's comportementales d'un programme par interpre'tation
abstraite, sans restreindre a priori le champs d'investigation. Ces
proprie'te's concernent principalement le comportement se'mantique et
modulaire du programme. Elles peuvent en particulier donner des
informations sur la complexite' de certaines fonctions, et dans le pire
des cas, donnent simplement des notions de terminaison.
   Nous restreindrons l'e'tude a` une se'mantique de'notationnelle, mais
supportant l'ordre supe'rieur, traitant les structures de donne'es
et ayant un comportement entie`rement paresseux. Je tenterais d'expliciter
e'tapes par e'tapes le passage de la se'mantique de'notationnelle d'un
programme vers une se'mantique abstraite e'quationnelle (de'crivant ce
programme par un ensemble de proprie'te's) et comment toute proprie'te'
de ce programme peut e^tre prouve'e si l'analyseur a les bonnes heuristiques
de simplification. La philosophie derrie`re cela est d'inferrer toutes
les formules qui se ge'ne'ralisent bien, sans chercher a` savoir ce
qu'elles expriment, mais en sachant que le re'sultat final est valide.
Il reste ensuite tout un travail d'interpre'tation a` faire pour
de'terminer quelles optimisations inte'ressantes peuvent e^tre faites a`
partir de ces formules.

*** Vendredi 10 octobre 1997 **** 14h00 *****************************

Titre non parvenu.

Prenom NOM (Institution)

Re'sume' :  non parvenu.

*** Vendredi 17 octobre 1997 **** 14h00 *****************************

Titre non parvenu.

Prenom NOM (Institution)

Re'sume' :  non parvenu.

*** Vendredi 24 octobre 1997 **** 14h00 *****************************

Titre non parvenu.

Prenom NOM (Institution)

Re'sume' :  non parvenu.
 
*** Vendredi 31 octobre 1997 **** 14h00 *****************************

Titre non parvenu.

Prenom NOM (Institution)

Re'sume' :  non parvenu.

*********************************************************************
Pour recevoir l'annonce par courrier electronique: cousot@dmi.ens.fr
WWW: http://www.ens.fr/~cousot/annonceseminaire.html
*********************************************************************