To: seminaire@pauillac.inria.fr
From: Francois.Pottier@inria.fr
Subject: SEM - INRIA : Cristal - 22/04/05 - 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 22 avril, 10h30

                                 ----------
                                 Piere Weis
                                 ----------

                                   INRIA

                           =====================
                           Les types à relations
                           =====================


L'introduction récente des ``types à constructeurs privés'' en
Objective Caml ouvre la voie à l'usage de types de données concrets
qui vérifient des invariants forts, tout en autorisant pleinement la
programmation par filtrage et en évitant la lourdeur et les
difficultés des types abstraits.

Les «types à relations» généralisent les types à constructeurs privés:
outre les constructeurs, leurs définitions comportent la spécification
de relations qui décrivent les invariants que vérifient les valeurs du
type. Cette notion est comparable à la méthode de «présentation par
générateurs et relations» des structures mathématiques.

Après avoir étudié les types à relations et les moyens qu'ils offrent
de spécifier leurs invariants, on décrira le compilateur Moca qui
engendre des fonctions de construction qui respectent les invariants
des types à relations.

Moca est le fruit d'un travail effectué avec Frédéric Blanqui du projet
Protheo, dans le cadre de l'action Modulogic.