To: seminaire-gallium-moscova@inria.fr
From: Francois.Pottier@inria.fr
Subject: SEM - INRIA : Gallium - 08/06/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
                         Amphi Turing du bâtiment 1

                           Vendredi 8 juin, 10h30

                             ------------------
                             Emmanuel Chailloux
                             ------------------

                  LIP6 - Université Pierre et Marie Curie

                      ================================
                      Ocamil : Objective Caml sur .NET
                      ================================

La plate-forme .NET est un environnement d'exécution reposant sur
une machine virtuelle qui interprète du code-octet
typé. Principalement conçue pour des langages objets, elle prétend
être parfaitement adaptée à l'exécution de composants écrits dans
une grande variété de langages de programmation et faciliter leur
interopération. En tant que langage fonctionnel statiquement typé
avec polymorphisme paramétrique, Objective Caml présente des
caractéristiques qui défient l'environnement d'exécution .NET et son
système de types.

On expérimente ces difficultés dans un cadre pratique, par la
conception et l'implantation de OCamIL, un compilateur complet pour
Objective Caml qui produit du code-octet .NET vérifiable. Ses
objectifs principaux sont la compatibilité et la possibilité
d'interopérer.

Ce travail, réalisé pendant la thèse de Raphaël Montelatici, met à
l'épreuve les capacités de la plate-forme .NET autant que
l'adéquation de l'implantation officielle de Objective Caml dans un
tel projet (en particulier l'élimination des types arrive tôt
dans la chaîne de compilation). Pour cela on examine la
représentation des valeurs Caml et on compare deux stratégies : la
reconstruction et la propagation de l'information de typage
manquante. D'autres choix de conception que l'on décrira ici
illustrent le compromis entre efficacité d'une part et
lisibilité/interopérabilité de l'autre.

page web ocamil : http://www.pps.jussieu.fr/~montela/ocamil/