Recherches
Laboratoire de langages et outils de programmation
Programmation relationnelle : miniKanren
Le terme miniKanren désigne une famille de petits langages incorporés qui met la puissance de la programmation relationnelle (logique pure) au service de la programmation généraliste.
Le terme miniKanren désigne une famille de petits langages incorporés qui met la puissance de la programmation relationnelle (logique pure) au service de la programmation généraliste.Les recherches menées dans le cadre de ce projet explorent plusieurs techniques d'amélioration des performances, notamment l'évaluation partielle et la conversion fonctionnelle. L'évaluation partielle permet de se libérer de certains aspects inefficaces des programmes relationnels en inspectant le code source de façon statistique et en le transformant. Nous travaillons également sur la conversion de miniKanren en un langage de programmation fonctionnelle pour améliorer ses performances.