Newsgroups: fr.announce.seminaires
Distribution: fr
To: fr-sem@frmug.org
From: Didier.Remy@inria.COUPER-CECI.fr
Organization: INRIA-Rocquencourt
Subject: SEM - INRIA : Cristal - 16/06/00 - Paris - FR

           http://pauillac.inria.fr/bin/calendar/Seminaires


                             S E M I N A I R E

   ____              ____    .                   
  /   _   _        /    ___   __  /_  _   /     /| /|  _   __ __ _       _ 
 /   / \ / \  _   /    /   / /_  /   __| /  _  / |/ | / \ /_ /  / \ | / __|
|___ |_/ |_/     |___ /   / __/ |_  |_/ |_    /     | |_/__/ |_ |_/ |/ |_/
          /                                                                 
         /                                                                  
                          I N R I A - Rocquencourt, 
                       Salle de conference du Bat 11

                          Vendredi 16 juin, 10h30

                               --------------
                               Frédéric Prost
                               --------------


                           =====================
                           Dépendances et typage
                           =====================


   Les  dépendances d'un  lambda-terme sont  (en  gros) les  parties de  ce
   lambda-terme qui contribuent au résultat de son évaluation.  Le problème
   de  l'analyse des  dépendances  dans  le lambda-calcul  pur  a déjà  été
   traité.  Cependant  la méthode  n'est pas statique,  il faut  évaluer le
   terme  jusqu'à sa  forme  normale pour  déterminer  les sous-termes  qui
   n'interfèrent pas avec le terme global.

   Une  technique  (l'élagage) a  été  proposée  pour  résoudre de  manière
   statique une  approximation de ce  problème. Cette technique  utilise le
   typage pour analyser les lambda-termes.  En fait, de nombreuses analyses
   reposent sur  des propriétés du  type non-interférence, et  utilisent le
   typage.  Le  plus souvent  les systèmes considérés  sont des  langage du
   premier ordre dans lesquels on ajoute des annotations aux types.

   Nous  discuterons des  points communs  des différents  systèmes proposés
   dans  la   littérature,  ainsi  que  des   problèmes  récurrents  qu'ils
   rencontrent. Nous présenterons un  calcul de dépendances pour le système
   F et montrerons une sémantique de ce calcul.  Cette sémantique basée sur
   les relations d'équivalences partielles  met en évidence les liens entre
   l'interprétation abstraite et les analyses basees sur le typage.