To: seminaire-gallium-moscova@inria.fr
From: Didier.Remy@inria.fr
Subject: SEM - INRIA : Gallium - 24/04/07 - Paris - FR

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

                             S E M I N A I R E
       __                                  
      / _`  _   /  /  o                       /| /|   __  __  __ __    _  _
     /   ) __) /  /  / /  / /\/|    -----    / |/ |  /  )(_  /  /  ) ) ) __)
    (___/ (_/ (_ (_ / (__/ /   |            /     | (__/ __)(_ (__/ (_/ (_/
                                                
                          I N R I A - Rocquencourt
                        Salle de conf du batiment 5.

                            Mardi 24 avril, 14h

                              ----------------
                              Gabriel Dos Reis
                              ----------------


           ======================================================
           Concepts: A structured approach to Generic Programming
           ======================================================

Over the last decade, there has been a surge of interest in Generic
Programming techniques and programming language supports. Recent
developments have mainly centered around mathematically founded
generic programming techniques for software construction, exploration
and understanding of advanced type systems.  This talk will focus on
the design of a type system for C++ templates, called concepts. We
consider the problem of how to express concepts in a precise way that
is simple enough to be usable by ordinary programmers. In doing so, we
expose a few weakness of the current specification of the C++ standard
library and suggest a far more precise and complete specification. We
also present a systematic way of translating our proposed concept
definitions, based on use-patterns rather than function signatures,
into constraints sets that serve as convenient basis for concept
checking in a compiler.