2 citations · 4 across the 2 of their papers we have counts for
2 papers
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…