An anti-unification-based framework for semantic clone detection in Constrained Horn Clauses.

Project: PHD

Project Details

StatusFinished
Effective start/end date1/10/184/09/25

Attachment to an Research Institute in UNAMUR

  • NADI

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
  • Optimizing Bipartite Matching with Interleaved and Injective Mappings: Implementing and Evaluating the k-swap Heuristic

    Yernaux, G., Vandeloise, M., Barkallah, M., Vanhoof, W. & Jacquet, J.-M., Apr 2025, Proceedings of the 3rd International Conference on Advances in Computing Research, ACR 2025: Proceedings of the Third International Conference on Advances in Computing Research (ACR’25). Daimi, K. & Al Sadoon, A. (eds.). Springer, Cham, Vol. 1346. p. 51-62 12 p. (Lecture Notes in Networks and Systems; vol. 1346 LNNS).

    Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

    Open Access
    File
    8 Downloads (Pure)
  • 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).

    Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

    Open Access
    File
    51 Downloads (Pure)
  • Predicate Anti-unification in (Constraint) Logic Programming

    Yernaux, G. & Vanhoof, W., 16 Oct 2023, Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Proceedings: Logic-Based Program Synthesis and Transformation. LOPSTR 2023.. Glück, R. & Kafle, B. (eds.). Springer, Cham, Vol. 14330. p. 131-149 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14330 LNCS).

    Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

    Open Access
    File
    86 Downloads (Pure)