Algorithmic equivalence by generalization-driven transformations of logic programs

Project: PHD

Project Details

Status	Not started

Generalization-Driven Semantic Clone Detection in CLP
Yernaux, G. & Vanhoof, W., 21 Apr 2020, In: Lecture Notes in Computer Science. 12042, p. 228-242 15 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
11 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)
Generalizing Generalization: towards a framework for anti-unification problems in Logic Programming
Yernaux, G., 22 Nov 2019, (Unpublished). 7 p.
Research output: Contribution to conference › Paper

Generalizing Generalization: towards a framework for anti-unification in Logic Programming
Gonzague Yernaux (Speaker)
22 Nov 2019
Activity: Talk or presentation types › Oral presentation
Generalization-driven semantic clone detection in CLP
Gonzague Yernaux (Speaker) & Wim Vanhoof (Speaker)
9 Oct 2019
Activity: Talk or presentation types › Oral presentation
Anti-unification in Constraint Logic Programming
Gonzague Yernaux (Speaker)
22 Sep 2019
Activity: Talk or presentation types › Oral presentation