Algorithmic equivalence by generalization-driven transformations of logic programs

Project: PHD

Status	Not started

Anti-unification of Unordered Goals
Yernaux, G. & VANHOOF, W., 27 Jan 2022. 17 p.
Research output: Contribution to conference › Paper › peer-review

Open Access
11 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 proceeding › Conference contribution

File
18 Downloads (Pure)
Anti-unification in Constraint Logic Programming
Yernaux, G. & Vanhoof, W., 20 Sep 2019, In: Theory and Practice of Logic Programming. 19, 5-6, p. 773-789 17 p.
Research output: Contribution to journal › Article › peer-review
3 Downloads (Pure)

Anti-unification of Unordered Goals
Gonzague Yernaux (Speaker)
18 Feb 2022
Activity: Talk or presentation types › Oral presentation
Computer Science Logic 2022
Gonzague Yernaux (Participant) & Wim VANHOOF (Participant)
14 Feb 2022 → 19 Feb 2022
Activity: Participating in or organising an event types › Participation in conference
Generalizing Generalization: towards a framework for anti-unification in Logic Programming
Gonzague Yernaux (Speaker)
22 Nov 2019
Activity: Talk or presentation types › Oral presentation

Project Details