30 citations · 57 across the 15 of their papers we have counts for
1 paper · 2 filters
Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas
We study the notion of binding-time analysis for logic programs. We formalise the unfolding aspect of an on-line partial deduction system as a Prolog program. Using abstract interp…