Algorithmic equivalence by generalization-driven transformations of logic programs

Project: PHD

Project Details

StatusNot started

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.
  • 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
    76 Downloads (Pure)
  • Anti-unification of Unordered Goals

    Yernaux, G. & Vanhoof, W., 27 Jan 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).

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

    Open Access
    File
    70 Downloads (Pure)
  • Generalization-Driven Semantic Clone Detection in CLP

    Vanhoof, W. & Yernaux, G., 21 Apr 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).

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

    File
    66 Downloads (Pure)