2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2005
Well-founded and Stable Semantics of Logic Programs with Aggregates
Nikolay Pelov, Marc Denecker, Maurice Bruynooghe
In this paper, we present a framework for the semantics and the computation of aggregates in the context of logic programming. In our study, an aggregate can be an arbitrary interp…
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…