activity
20022013
most citedPredicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3

43 citations · 51 across the 5 of their papers we have counts for

collaborators
Showing 2002Show all

2 papers · 1 filter

cs.PL2002★ 2 cited

Offline Specialisation in Prolog Using a Hand-Written Compiler Generator

Michael Leuschel, Jesper Joergensen, Wim Vanhoof +1

The so called ``cogen approach'' to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evaluation of…

cs.PL2002★ 2 cited

Logic program specialisation through partial deduction: Control issues

Michael Leuschel, Maurice Bruynooghe

Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programmi…