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é
Tout afficher
Voir moins

Résultat de recherche

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

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