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

Projet: Projet de thèse

Détails du projet

statut	Non commencé

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 revue › Article › Revue par des pairs

Accès ouvert
File
7 Téléchargements (Pure)
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 revue › Article › Revue par des pairs
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

Generalizing Generalization: towards a framework for anti-unification in Logic Programming
Gonzague Yernaux (Orateur)
22 nov. 2019
Activité: Types de discours ou de présentation › Présentation orale
Generalization-driven semantic clone detection in CLP
Gonzague Yernaux (Orateur) & Wim Vanhoof (Orateur)
9 oct. 2019
Activité: Types de discours ou de présentation › Présentation orale
Anti-unification in Constraint Logic Programming
Gonzague Yernaux (Orateur)
22 sept. 2019
Activité: Types de discours ou de présentation › Présentation orale