Commit 5d64ae42 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2004-12-08 13:23:34 by afrisch] Empty log message

Original author: afrisch
Date: 2004-12-08 13:23:34+00:00
parent 6c00b6cb
......@@ -17,6 +17,19 @@
<page name="stage_compil_cduce">
<title>Compilation du langage CDuce</title>
<box title="Infos pratiques" link="info">
<ul>
<li>Encadrant: <a href="mailto:Alain.Frisch@inria.fr">Alain
Frisch</a>.</li>
<li>Laboratoire: <a
href="http://pauillac.inria.fr/cristal/index-fra.html">projet
Cristal</a>, INRIA Rocquencourt.</li>
</ul>
<p>Le stage se rapporte au cours 2-4 (Langages de programmation) du MPRI.
</p>
</box>
<box title="Description" link="descr">
<p>On s'intéresse dans ce stage à la compilation de <local
href="index">CDuce</local>, un langage fonctionnel adapté à la
......@@ -41,7 +54,9 @@
est d'introduire de coûteuses coercions lorsque le sous-typage
(implicite en CDuce) est utilisé. Il faut donc aussi prendre en
compte le contexte d'utilisation des valeurs pour prédire
statiquement la « bonne » représentation. </li>
statiquement la « bonne » représentation. Cette piste peut
déboucher sur la mise en place d'analyses statiques non triviales
sur le code.</li>
<li>
Optimisations de haut-niveau. Un exemple d'optimisation
......@@ -54,9 +69,6 @@
</li>
</ul>
Le stage n'a pas de prérequis formels. L'éventuel travail d'implémentation
se fera en Objective Caml.
</box>
<box title="Références" link="ref">
......@@ -72,7 +84,19 @@
</page>
<page name="stage_poly_cduce">
<title>Sous-typage, polymorphisme et ordre supérieur</title>
<title>Sous-typage ensembliste, polymorphisme et ordre supérieur</title>
<box title="Infos pratiques" link="info">
<ul>
<li>Encadrant: <a href="mailto:Alain.Frisch@inria.fr">Alain
Frisch</a>.</li>
<li>Laboratoire: <a
href="http://pauillac.inria.fr/cristal/index-fra.html">projet
Cristal</a>, INRIA Rocquencourt.</li>
</ul>
<p>Le stage se rapporte au cours 2-4 (Langages de programmation) du MPRI.
</p>
</box>
<box title="Description" link="descr">
<p><a href="http://xduce.sourceforge.net/">XDuce</a> est un langage de programmation adapté à XML,
......@@ -82,21 +106,23 @@
(fonctions de première classe, types flèche), en préservant
cette interprétation ensembliste des types.</p>
<p>Ces langages offrent une certaine souplesse au programmeur
via une relation de sous-typage qui découle tout naturellement
de l'interprétation ensembliste. L'objectif de ce stage
est d'étudier l'ajout de polymorphisme paramétrique (comme
celui de ML) à CDuce, sans briser l'interprétation ensembliste.
Un travail préliminaire a étudié
cette question dans le cadre de XDuce, mais la technique utilisée
ne passe pas à l'ordre supérieur.
<p>Ces langages offrent une certaine souplesse au programmeur via
une relation de sous-typage qui découle tout naturellement de
l'interprétation ensembliste. L'objectif de ce stage est d'étudier
l'ajout de polymorphisme paramétrique (comme celui de ML) à CDuce,
sans briser l'interprétation ensembliste. Un travail préliminaire
a étudié cette question dans le cadre de XDuce, mais la technique
utilisée ne passe pas à l'ordre supérieur. Il s'agit de l'adapter
ou d'en proposer une autre.
</p>
</box>
<box title="Références" link="ref">
<p>Voir cette <local href="papers">page</local> pour une liste d'articles
sur CDuce, et <a href="http://arbre.is.s.u-tokyo.ac.jp/~hahosoya/publ.html">celle-ci</a> pour une liste d'articles sur XDuce, en particulier
sur CDuce, et <a
href="http://arbre.is.s.u-tokyo.ac.jp/~hahosoya/publ.html">celle-ci</a>
pour une liste d'articles sur XDuce, en particulier celui sur
l'ajout du polymorphisme paramétrique.</p>
</box>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment