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

                          Lundi 27 février, 10h30

                             ------------------
                             Thibaut Balabonski
                             ------------------

                            Université Paris 7

                   ======================================
                   Les stratégies pleinement paresseuses
                   ======================================

Les stratégies de réduction avec partage fournissent des pistes pour
l'évaluation efficace des programmes fonctionnels. En quarante ans,
ces modes de réduction ont été définis dans des cadres formels variés,
hétérogènes et parfois complexes, utilisant par exemple des clôtures,
des graphes, ou des transformations de programmes.

Je présenterai un système de récriture simple et expressif dans lequel
nombre de ces approches peuvent être unifiées, analysées, et
comparées. On étudiera en particulier quelques avatars de la réduction
pleinement paresseuse (dont une des variantes est implémentée dans le
compilateur GHC) et on précisera en quoi ces différents systèmes sont
équivalents. Enfin, une utilisation judicieuse d'une transformation de
programmes classique (le lambda-lifting) permettra d'établir un lien
entre la pleine paresse et la réduction optimale des systèmes du
premier ordre. Ce lien sera suffisamment fort pour permettre le
transfert de propriétés non triviales du premier ordre vers le
lambda-calcul.