Commit 74c8db23 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2004-11-15 15:25:37 by cmiachon] Empty log message

Original author: cmiachon
Date: 2004-11-15 15:25:37+00:00
parent 02e65664
......@@ -16,17 +16,18 @@ Pr
</ul>
<ol>
<li> Discussion autour de l'implantation système de type dans l'atelier Brixlogics;
<li> Discussion autour de l'implantation du système de type dans l'atelier Brixlogix;
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.
Les types CDuce sont idéaux pour le traitement global des données, et pour aller au-delà de la vérification de protocoles.
Le type singleton est intéressant pour les flots de contrôle, mais l'union pose problème.
</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.
L'objectif de l'atelier est de typer le document de sortie, le problème se pose sur le typage de l'impératif
nottamment pour l'aliasing.
Il faudrait mieux typer le programme CDuce correspondant à l'atelier, par 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.
Discussion autour d'un logiciel pour le langage de requêtes de CDuce, en rapport avec l'atelier.
</li>
</ol>
......
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