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

Projet: Projet de thèse

Activités

  • 3 Présentation orale
Filtrer
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