Algorithmic equivalence by generalization-driven transformations of logic programs

Project: PHD

Project Details

StatusNot started
View all
View less

Research Output

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

Open Access
File
    • 3 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

    • 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

    • Activities

    • 3 Oral presentation

    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