Résultat de recherche par an
Résultat de recherche par an
Détails du projet
| statut | Non commencé |
|---|
Empreinte digitale
Explorez les thèmes de recherche abordés par ce projet. Ces libellés sont générés sur la base des prix/subventions sous-jacents. Ensemble, ils forment une empreinte digitale unique.
-
Generalization-Driven Semantic Clone Detection in CLP
Vanhoof, W. & Yernaux, G., 21 avr. 2020, Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers. Gabbrielli, M. (Ed.). Springer, Vol 12042. p. 228-242 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 12042 LNCS).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
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 revue › Article › Revue par des pairs
-
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. 2019Activité: 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. 2019Activité: Types de discours ou de présentation › Présentation orale
-
Anti-unification in Constraint Logic Programming
Gonzague Yernaux (Orateur)
22 sept. 2019Activité: Types de discours ou de présentation › Présentation orale