To: seminaire@pauillac.inria.fr
From: Francois.Pottier@inria.fr
Subject: SEM - INRIA : Cristal - 26/11/04 - Paris - FR

           Vous pouvez 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
                         Amphi Turing du bâtiment 1

                        Vendredi 26 novembre, 10h30

                         -------------------------
                         Jean-Christophe Filliâtre
                         -------------------------

                                    CNRS

                    ====================================
                    Le foncteur sonne toujours deux fois
                    ====================================


  Cet exposé présente Ocamlgraph, une bibliothèque générique de graphes pour
  le langage de programmation Ocaml. L'originalité de cette
  bibliothèque est de proposer d'une part un grand nombre de
  structures de données différentes pour représenter les graphes ---
  graphes orientés ou non, structures persistantes ou modifiées en
  place, sommets et arcs avec ou sans étiquettes, marques sur les
  sommets, etc. --- et d'autre part des algorithmes sur les graphes
  écrits indépendamment de la structure de données représentant les
  graphes. Le codage de ces deux aspects originaux a été rendu
  possible par une utilisation massive du système de modules d'Ocaml
  et notamment de ses fonctions, les foncteurs.