To: seminaire@pauillac.inria.fr
From: Didier.Remy@inria.fr
Subject: SEM - INRIA : Cristal - 06/12/02 - Paris - FR

      Vous pouvez maintenant 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
                       Salle de conference du Bat 007

                         Vendredi 6 decembre, 10h30

                               -------------
                               Olivier Danvy
                               -------------

                        BRICS, University of Aarhus

                  =======================================
                  A lambda-revelation of the SECD machine
                  =======================================

  
  Using off-the-shelf tools---defunctionalization, CPS transformation, and
  Bekic's theorem---we present  the lambda-interpreter underlying the SECD
  machine.  This lambda-interpreter maps  an expression to its denotation,
  which  is  a  partial endofunction  over  the  product  of an  stack  of
  intermediate results and an environment:

          stack * env -> stack * env.

  The interpreter has a callee-save strategy over the environment.

  The derivation works both ways, ie, it makes it possible to construct an
  abstract machine  out of lambda-interpreter  as well as to  reveal, with
  some luck, the lambda-interpreter that underlies an abstract machine.