Algorithmic equivalence by generalization-driven transformations of logic programs

Project: PHD

Project Details

StatusNot started
View all
View less

Research Output

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