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

statutNon commencé

Résultat de recherche

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
  • 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

  • Activités

    • 3 Présentation orale

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

    Gonzague Yernaux (Orateur)

    22 nov. 2019

    Activité: Types de discours ou de présentationPré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ésentationPrésentation orale

    Anti-unification in Constraint Logic Programming

    Gonzague Yernaux (Orateur)

    22 sept. 2019

    Activité: Types de discours ou de présentationPrésentation orale