Sites Inria

Séminaires des équipes de recherche

Les stratégies pleinement paresseuses

Séminaire Gallium - Moscova

  • Date : 27/02/2012
  • Lieu : Inria - Rocquencourt - Amphithéâtre Alan Turing
  • Intervenant(s) : Thibaut Balabonski - Université Paris 7
  • Organisateur(s) : Gallium - Moscova

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.

Mots-clés : Paris - Rocquencourt Séminaire Moscova Gallium

Haut de page

Suivez Inria