Algorithmic equivalence by generalization-driven transformations of logic programs

Activities

Activities per year 2019 2019

• 3 Oral presentation

Activities per year

Search results

• 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