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:21] apeiron |
fr:research:projects [2018/03/29 17:21] apeiron |
||
---|---|---|---|
Ligne 10: | Ligne 10: | ||
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 ===== | ||
Ligne 18: | Ligne 20: | ||
Cela permettrait de faire un pont entre la communauté de la **complexité implicite** et la communauté de la **complexité par typage,** tout en fournissant une paire de langages capables de mettre fin à la quête d'un langage caractérisant les algorithmes polynomiaux. | Cela permettrait de faire un pont entre la communauté de la **complexité implicite** et la communauté de la **complexité par typage,** tout en fournissant une paire de langages capables de mettre fin à la quête d'un langage caractérisant les algorithmes polynomiaux. | ||
- | |||
- | ====== Projets de recherche ====== | ||