Commit 2b85bf6e authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2004-06-21 12:58:20 by cmiachon] Empty log message

Original author: cmiachon
Date: 2004-06-21 12:58:21+00:00
parent 21098eec
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page name="Fundings">
<title>Fundings</title>
<left>
<pages-toc/>
</left>
<include file="GraphDuce.xml"/>
<include file="Tralala.xml"/>
<include file="Myths.xml"/>
<box title="GraphDuce" link="GraphDuce">
GraphDuce est ....
</box>
<box title="Tralala" link="Tralala">
<p>Tralala est ...</p>
</box>
<box title="Myths" link="Myths">
<p>Myths est ...</p>
</box>
</page>
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page name="CompteRendus">
<title>Compte Rendus</title>
<left>
<boxes-toc/>
</left>
<box title="Compte-Rendu de la réunion du 04/06/04" link="040604">
Présents:<ul>
<li> Alain Frisch</li>
<li> Guillaume Gillard</li>
<li> Maurice Martin</li>
</ul>
<ol>
<li> Démonstration de l'atelier Brixlogic: scénario, itération,
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;
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.
</li>
<li> Discussion: approche pour utiliser le sous-typage de CDuce dans
Brixlogic (solution probablement retenue: reimplémenter plutôt que de
réutiliser, pour maîtriser la technologie et optimiser en laissant tomber
les caractéristiques inutiles pour Brix); discussion sur le paradigme
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>
<li> Véronique Benzaken</li>
<li> Giuseppe Castagna</li>
<li> Guillaume Gillard</li>
<li> Guillaume Lebleu</li>
<li> Maurice Martin</li>
<li> Cédric Miachon</li>
</ul>
<ol>
<li> Brixlogix : prototype visuel. 2 projets en cours. IFX et ACCORD. Probleme du <i>Change Impact Analysis</i>. utilisation des <i>WSDL</i>. typage incremental avec detection de typage instantane.
</li>
<li> CDuce : Ajout des standards (<i>namespaces</i> et <i>XML Schema</i>). Interface Ocaml/CDuce. Implatation de CDuce avec les motifs <i>jit</i>. Langage de requetes.
</li>
<li> Cooperation: Deleguer le typage a CDuce, ou ne reprendre que les algorithmes de typage, systeme de type?
</li>
</ol>
</box>
<box title="Présentation de GraphDuce" link="GDPres">
</box>
</page>
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page name="GraphDuce">
<title>GraphDuce</title>
<left>
<boxes-toc/>
</left>
<include file="GD/cr040604.xml"/>
<box title="Compte-Rendus" link="dcr">
<p><b><a href="CompteRendus.html#040604">Runion du 04/06/04</a></b></p>
<p><b><a href="CompteRendus.html#240404">Runion du 24/04/04</a></b></p>
<p><b><a href="CompteRendus.html#GDPres">Prsentation</a></b></p>
</box>
</page>
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page name="Myths">
<title>Myths</title>
<left>
<boxes-toc/>
</left>
<box title="Compte-Rendus" link="dcr">
</box>
</page>
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page name="Tralala">
<title>Tralala</title>
<left>
<boxes-toc/>
</left>
<box title="Compte-Rendus" link="dcr">
</box>
</page>
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<site>
<title>Fundings</title>
<include file="Fundings.xml"/>
</site>
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