Commit 940e150d authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2006-05-19 15:42:54 by beppe] Empty log message

Original author: beppe
Date: 2006-05-19 15:42:55+00:00
parent cfd28a15
......@@ -10,12 +10,14 @@
<li><a href="tralala_partenaires.html">Partenaires</a> </li>
<li><a href="tralala_documents.html">Documents</a> </li>
<li><a href="tralala_reunions.html">Réunions</a> </li>
<li><a href="tralala_cr.html">Comptes rendus</a></li>
<li><a href="tralala_mailing.html">Listes de diffusion</a> </li>
</ul>
</left>
<include file="tralala_partenaires.xml"/>
<include file="tralala_documents.xml"/>
<include file="tralala_reunions.xml"/>
<include file="tralala_cr.xml"/>
<include file="tralala_mailing.xml"/>
<left>
Project funded by the
......
<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<box title="Les Crawlers dans CDuce." link="170306">
Date : du 17/03/06 au 21/03/06.<br/>
Lieu : Marseille.<br/>
Collaborateurs :
<ul>
<li>Lucia Acciai</li>
<li>Silvano Dal Zilio</li>
<li>Kim Nguyễn</li>
</ul>
<p>
La base du travail est l'algèbre de filtres/patterns/crawlers avec
accumulateurs proposés par Silvano et Lucia (et présentés à la réunion
Tralala du 26 Janvier 2006). Un prototype existant consiste en un
traducteur des filtres en fonctions récursives CDuce, dont le type
est calculé par un algorithme d'approximation.En effet, la sémantique d'un
crawler est de renvoyer ses accumulateurs, mais ces derniers peuvent
contenir des valeurs dont le type le plus précis sort de la classe des
langages réguliers d'arbres. Le problème avec cette aproche est que
même si une approximation peut être trouvée pourle type <i>final</i>
des accumulateurs, le type de ceux-ci au cours de l'évaluation de la
fonction peut varier. Or, les références sont typées en CDuce. On se
retrouve donc forcé d'avoir des références de contenu <code>Any</code>
(pour pouvoir mettre ce qu'on veut dedans...) et de refaire un typecase
final (à runtime) alors qu'on sait que la valeur finale est du type
calculé.
</p><p>
Le travail inité pendant cette semaine consiste à rajouter les crawlers
comme un nouvel objet du langage CDuce et d'intégrer directement
l'algorithme de typage. Les crawlers ne sont plus réprésentés comme
des fonctions récursives, mais comme des automates (munis de piles) en
interne.
</p><p>
Le principal problème est de faire cohabiter l'algorithme
d'approximation (basé sur des listes plates à la XDuce) avec l'algèbre
de type de CDuce (produits imbriqués), afin de pouvoir réutiliser
le mécanisme interne de CDuce pour résoudre les équations de typage.
D'autres problèmes plus mineurs sont liés à l'intégration de ces
automates au runtime de CDuce et leur cohabitation avec l'algèbre de
patterns existante (d'une implémentation complexe, notement à cause
des nombreuses optimisations).
</p>
</box>
<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<page name="tralala_cr">
<title>Comptes rendus de travaux aux sein de Tralala</title>
<left>
<boxes-toc/>
</left>
<include file="cr_kn_marseille.xml"/>
</page>
......@@ -42,6 +42,9 @@ the content by <a href="examples.html#site">the following CDuce program</a>.
<li><b>19-20 avril 2005</b>: Runion restreinte LRI, ENS, Marseille.
Thmes abords: le langage Reduce, les itrateurs pour XML et leur
typage.</li>
<li><b>17-21 mars 2006</b>: Runion de travail LRI/Marseille.
Thmes abords: Implmentation et typage des Crawlers (patterns
avec accumulateurs).</li>
</ol>
</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