Equivalence algorithmique sur base de transformations axées sur la généralisation de programmes logiques

Projet: Projet de thèse

Résultat de recherche

2020

Generalization-Driven Semantic Clone Detection in CLP

Yernaux, G. & Vanhoof, W., 21 avr. 2020, Dans : Lecture Notes in Computer Science. 12042, p. 228-242 15 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
2019

Anti-unification in Constraint Logic Programming

Yernaux, G. & Vanhoof, W., 20 sept. 2019, Dans : Theory and Practice of Logic Programming. 19, 5-6, p. 773-789 17 p.

Résultats de recherche: Contribution à un journal/une revueArticle

3 Téléchargements (Pure)

Generalizing Generalization: towards a framework for anti-unification problems in Logic Programming

Yernaux, G., 22 nov. 2019, (Non publié). 7 p.

Résultats de recherche: Contribution à un événement scientifique (non publié)Article