*********************************************************************
*                       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 1 mars 1996 ********************************************

Rela^che

*** Vendredi 8 mars 1996 **** 14h00 *********************************

Complementation and Optimal basis in Abstract Interpretation

Roberto GIACOBAZZI (Universite' de Pise)

Re'sume' : In this work we define the inverse operations for reduced
product and disjunctive completion of abstract interpretations.
We introduce the notion of complementation and optimal basis
for an abstract interpretation, and study its properties
in relation with the standard operations for domain construction.
The resulting framework is powerful enough to be applied to arbitrary
abstract domains for program analysis, providing advanced
algebraic methods for domain manipulation
(e.g. for domain decomposition) and optimization.
We apply the theory of complementation and optimal basis
to well known domains for dataflow analysis of functional and
logic programming languages, notably to the
Cousot and Cousot's comportment domain for termination,
strictness and projection analysis of higher-order functional
languages, and to the complex domains Pos and Sharing
respectively for groundness and aliasing analysis of logic programs.

Joint work with:
A. Cortesi, G. File', C. Palamidessi and F. Ranzato

*** Vendredi 15 mars 1996 *******************************************

Rela^che (vacances ENS).

*** Vendredi 22 mars 1996 **** 14h00 ********************************

Interpretation abstraite du pi-calcul

Arnaud VENET (LIX)

Re'sume' : Un certain nombre de langages de programmation modernes, tels que CML ou
Facile, permettent de creer dynamiquement des processus paralleles pouvant
communiquer entre eux par envoi et reception de messages. Le pi-calcul s'est
avere etre un modele a la fois simple et puissant pour exprimer le comportement
de cette classe de langages. Je me propose de decrire au cours de cet expose
une interpretation abstraite du pi-calcul permettant de determiner une
approximation de la topologie des communications entre processus. La resolution
de ce probleme a necessite la creation de nouvelles methodes d'abstraction
non-uniforme de relations sur des monoides libres. Ces methodes presentent un
interet en elles-memes et peuvent s'appliquer a d'autres types d'analyses.


*** Vendredi 29 mars 1996 **** 14h00 ********************************

Rela^che (groupe de travail).

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