To: seminaire@pauillac.inria.fr
From: Didier.Remy@inria.fr
Subject: SEM - INRIA : Cristal - 15/06/01 - Paris - FR

      Vous pouvez maintenant vous abonner à nos annonces de séminaires
             http://pauillac.inria.fr/seminaires/subscribe.html


                             S E M I N A I R E
                                         . ___ 
                           /   _   _      /   _   /
                          /   / \ / \  / /   __| /
                         |___ |_/ |_/ / |__ |_/ |_
       ___      .                  /    
      /    ___   __  /_  _   /   _/        /| /|  _   __ __ _       _ 
     /    /   / /_  /   __| /             / |/ | / \ /_ /  / \ | / __|
    |___ /   / __/ |_  |_/ |_            /     | |_/__/ |_ |_/ |/ |_/
                                                
                          I N R I A - Rocquencourt
                       Salle de conference du Bat 11

                          Vendredi 15 juin, 10h30

                                -----------
                                Didier Rémy
                                -----------


                        ============================
                        Héritage dans le Join Calcul
                        ============================


  (Travail en commun avec Cédric Fournet, Cosimo Laneve et Luc Maranget)

  Nous  verrons  un calcul  à  objets, dérivé  du  join-calcul,  avec de  la
  concurrence interne et de l'héritage à base de classes.

  Dans le join-calcul, les appels, les  verrous et les états sont traités de
  manière  uniforme  en utilisant  des  messages  asynchrones. Cependant,  à
  l'inverse  du  pi-calcul,  les   définitions  sont  construites  de  façon
  atomique.  Cela  garantit plus d'invariants  mais limite significativement
  les possibilités de réutilisation du code.

  Dans Ojoin les définitions  sont construites incrémentalement à partir des
  classes.   Les classes sont  des définitions  partielles qui  peuvent être
  combinées,  transformées et  finalement  être instantiées  en des  objets.
  Cela préserve les avantages  du join-calcul (les définitions d'objets sont
  invariantes)  tout   en  maintenant  la  flexibilité   du  pi-calcul  (les
  définitions de classes sont extensibles et modifiables).

  Après un  très bref rappel  sur le pi-calcul  et le join-calcul,  puis une
  introduction du  noyau objet de  Ojoin, nous nous intéresserons  surtout à
  l'héritage  dans Ojoin, en  particulier à  une construction  permettant le
  raffinement aussi  bien du comportement que de  la synchronisation définis
  dans les classes parents.   Nous illustrerons son expressivité en traitant
  facilement de  petits exemples qui étaient  auparavant réputés difficiles.
  Nous mentionnerons également quelques aspects du typage.

  [Pour en savoir plus, voir http://cristal.inria.fr/~remy/work/ojoin/]