Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente | Prochaine révision Les deux révisions suivantes | ||
fr:research:projects [2018/03/29 17:25] apeiron |
fr:research:projects [2021/04/05 18:03] apeiron |
||
---|---|---|---|
Ligne 2: | Ligne 2: | ||
====== Recherche en cours ====== | ====== Recherche en cours ====== | ||
+ | |||
+ | TODO | ||
+ | |||
+ | ====== Projets de recherche ====== | ||
===== Caractérisation fonctionnelle des algorithmes en temps polynomial ===== | ===== Caractérisation fonctionnelle des algorithmes en temps polynomial ===== | ||
Ligne 10: | Ligne 14: | ||
Notre but est donc de créer une version fonctionnelle de notre langage, et de prouver l'équivalence algorithmique entre la version impérative et la version fonctionnelle, ce qui permettra ensuite de comparer la version fonctionnelle aux modèles et langages existants. | Notre but est donc de créer une version fonctionnelle de notre langage, et de prouver l'équivalence algorithmique entre la version impérative et la version fonctionnelle, ce qui permettra ensuite de comparer la version fonctionnelle aux modèles et langages existants. | ||
- | |||
- | ====== Projets de recherche ====== | ||
===== Equivalence algorithmique en PLoopC et LPL ===== | ===== Equivalence algorithmique en PLoopC et LPL ===== |