********************************************************************
*                   LIENS Ecole Normale Superieure                 *
*                                                                  *
*                          Groupe de travail                       *
*              'Semantique et Interpretation Abstraite'            *
*                             P. Cousot                            *
*                                                                  *
*                        Vendredi, 10h--12h                        *
*                Salle W, Toits du DMI, 4eme etage                 *
*                 DMI ENS 45 rue d'Ulm 75005 Paris                 *
********************************************************************

*** Vendredi 8 janvier 1993 *** Reunion de travail ***** SALLE T ***

P. Cousot. Definitions bi-inductives cartesiennes bien-foundees
           iterees : syntaxe et semantique.

*** Vendredi 15 janvier 1993 *** Reunion de travail **** SALLE T ***

P. Cousot. Principe de la construction de hierarchies de semantiques.
           Semantiques directes et par continuation du lambda-calcul
           par valeur.

*** Vendredi 22 janvier 1993 *** Relache ***************************

*** Vendredi 29 janvier 1993 *** Seminaire ************* SALLE T ***

Vers une S\'emantique des Langages Parall\`eles, Fonctionnels avec 
des Extensions Imp\'eratives.

Dominique Bolignano & Mourad Debabi (BULL)

Resume:   L'objectif principal de l'expos\'e sera de pr\'esenter une 
th\'eorie s\'emantique pour l'int\'egration du parall\'elisme et des 
aspects imp\'eratifs dans un langage fonctionnel. Pour cela, nous 
pr\'esenterons une d\'efinition compl\`ete d'un langage fonctionnel 
fortement typ\'e, imp\'eratif, supportant le parall\'elisme, et muni 
d'un syst\`eme de typage implicite. Nous d\'ecrirons en particulier 
une s\'emantique statique qui prend en compte les communications et 
les aspects imp\'eratifs, ce qui constitue une extension de l'approche 
``type and effect discipline''.  Deux s\'emantiques dynamiques seront 
pr\'esent\'ees: une s\'emantique op\'erationnelle qui repose sur la 
th\'eorie du test et une s\'emantique d\'enotationnelle bas\'ee sur une 
extension du mod\`ele math\'ematique des ``acceptance trees''. Cette 
derni\`ere s\'emantique peut \^etre vue comme une version de CCS, sans 
$\tau$, \'etendue pour prendre en compte le passage de valeurs, les 
affectations, les communications et les objets d'ordre sup\'erieur.  
L'\'equivalence des deux s\'emantiques dynamiques (i.e. la ``full 
abstractness'') sera aussi discut\'ee.

********************************************************************