11 citations · 12 across the 2 of their papers we have counts for
2 papers
cs.LO2023★ 1 cited
A Dataflow Analysis for Comparing and Reordering Predicate Arguments
Gonzague Yernaux, Wim Vanhoof
In this work, which is done in the context of a (moded) logic programming language, we devise a data-flow analysis dedicated to computing what we call argument profiles. Such a pro…
cs.LO2019★ 11 cited
Anti-unification in Constraint Logic Programming
Gonzague Yernaux, Wim Vanhoof
Anti-unification refers to the process of generalizing two (or more) goals into a single, more general, goal that captures some of the structure that is common to all initial goals…