Algorithmic equivalence by generalization-driven transformations of logic programs

Project: PHD

Filter

Anti-unification of Unordered Goals
Gonzague Yernaux (Speaker)
18 Feb 2022
Activity: Talk or presentation types › 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

Activities