Algorithmic equivalence by generalization-driven transformations of logic programs

Project: PHD

Project Details

StatusNot started

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 journalArticle

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

  • 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 conferencePaper

  • 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 typesOral presentation

    Generalization-driven semantic clone detection in CLP

    Gonzague Yernaux (Speaker), & Wim Vanhoof (Speaker)

    9 Oct 2019

    Activity: Talk or presentation typesOral presentation

    Anti-unification in Constraint Logic Programming

    Gonzague Yernaux (Speaker)

    22 Sep 2019

    Activity: Talk or presentation typesOral presentation