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

Projet: Projet de thèse

Filtrer
Article dans les actes d'une conférence/un colloque

Résultats de recherche

  • 2023

    A Dataflow Analysis for Comparing and Reordering Predicate Arguments

    Yernaux, G. & Vanhoof, W., 12 sept. 2023, Proceedings of the 39th International Conference on Logic Programming: Imperial College London, UK, 9th July 2023 - 15th July 2023. Pontelli, E., Costantini, S., Dodaro, C., Gaggl, S., Calegari, R., D'Avila Garcez, A., Fabiano, F., Mileo, A., Russo, A. & Toni, F. (eds.). Open Publishing Association, Vol 385. p. 41 - 54 14 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).

    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

    Accès ouvert
    File
    36 Téléchargements (Pure)
  • 2022

    Anti-unification of Unordered Goals

    Yernaux, G. & Vanhoof, W., 27 janv. 2022, Proceedings of the 30th EACSL Annual Conference on Computer Science Logic (CSL 2022). Manea, F. & Simpson, A. (eds.). 17 p. 37. (Leibniz International Proceedings in Informatics (LIPIcs); Vol 216).

    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

    Accès ouvert
    File
    48 Téléchargements (Pure)
  • 2020

    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
    46 Téléchargements (Pure)