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é

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.
  • Anti-unification of Unordered Goals

    Yernaux, G. & VANHOOF, W., 27 janv. 2022. 17 p.

    Résultats de recherche: Contribution à un événement scientifique (non publié)ArticleRevue par des pairs

    Accès ouvert
    11 Téléchargements (Pure)
  • 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érenceArticle dans les actes d'une conférence/un colloque

    File
    18 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 revueArticleRevue par des pairs

    3 Téléchargements (Pure)