Commit 80569f46 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2004-10-25 10:16:27 by cmiachon] compte rendu du 14/10/04

Original author: cmiachon
Date: 2004-10-25 10:16:27+00:00
parent 68d3c9d4
......@@ -7,6 +7,32 @@
<boxes-toc/>
</left>
<box title="Compte-Rendu de la réunion du 14/10/04" link="141004">
Présents:<ul>
<li> Alain Frisch</li>
<li> Guillaume Gillard</li>
<li> Giuseppe Castagna</li>
<li> Cédric Miachon</li>
</ul>
<ol>
<li> Discussion autour de l'implantation système de type dans l'atelier Brixlogics;
implantation en cours en Java du typecheker.
Les types CDuce sont ideaux pour le traitement global des donnees, et pour aller au-dela de la verification de protocoles.
Le type singleton interessant pour les flots de controle. Probleme dans Brixlogics pour le type Union.
</li>
<li>
L'objectif de l'atelier est de typer le document de sortie, le probleme de pose sur le typage de l'imperatif nottamment pour l'aliasing.
Il faudrait mieux plutot typer le programme CDuce correspondant a l'atelier, par, par exemple, le typage de chaque brique par un programme CDuce.
</li>
<li>
Discussion autour d'un logiciel pour le langage de requetes de CDuce, en rapport avec l'atelier.
</li>
</ol>
</box>
<box title="Compte-Rendu de la réunion du 04/06/04" link="040604">
Présents:<ul>
......@@ -20,7 +46,7 @@ Pr
sous-scénario, représentation graphique, représentation interne,
meta-data, chemin dans sample document.
</li>
<li> Explications sur la structure de l'implémentation du système de type;
<li> Explications sur la structure de l'implantation du système de type;
détails de représentation des combinaisons booléennes (arbres de décision
ternaire), formule de décomposition des produits sous forme d'arbre
binaire, implémentation du sous-typage avec cache et retour-arrière.
......@@ -32,10 +58,9 @@ les caract
graphique (Brix représente graphiquement le flot de controle; serait-il
souhaitable de représenter en plus/à la place le flot de données ?).
</li></ol>
</box>
<box title="Compte-Rendu de la réunion du 24/04/04" link="240404">
Présents:<ul>
<li> Alain Frisch</li>
......
......@@ -103,6 +103,7 @@ d'Euros
<box title="Compte-Rendus" link="dcr">
<p><b><a href="CompteRendus.html#141004">Réunion du 14/10/04</a></b></p>
<p><b><a href="CompteRendus.html#040604">Réunion du 04/06/04</a></b></p>
<p><b><a href="CompteRendus.html#240404">Réunion du 24/04/04</a></b></p>
<p><b><a href="CompteRendus.html#GDPres">Présentation</a></b></p>
......
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