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

                             S E M I N A I R E
       __                                  
      / _`  _   /  /  o                       /| /|   __  __  __ __    _  _
     /   ) __) /  /  / /  / /\/|    -----    / |/ |  /  )(_  /  /  ) ) ) __)
    (___/ (_/ (_ (_ / (__/ /   |            /     | (__/ __)(_ (__/ (_/ (_/
                                                
                          I N R I A - Rocquencourt
                        Amphi Turing du bâtiment 1

                         Jeudi 16 septembre, 10h30

                               -------------
                               Julien Cretin
                               -------------

                                   INRIA

                 ==========================================
                 Matching Lenses: Alignment and View Update
                 ==========================================

Alignment is an underlying issue when dealing with the view update
problem. In practical cases, to correctly apply an update to the
source, we want the lens to match up the pieces of the view with the
corresponding pieces of the original source.

Existing bidirectional languages either fail on many examples
involving insertions, deletions and reorderings, or only support
specific strategies that are baked in the lens theory.

We propose a general framework of matching lenses that parametrizes
lenses over arbitrary alignment strategies. We use the notion of
chunks to identify the pieces. And we abstract the alignment work from
the lens theory.

[Organiser's note: this is a rehearsal for an ICFP talk, so the talk will be
20 minutes, in English; questions will be asked after the talk.]