| Home > Publications > Reports > Informatics (CW) |
CW 232
M. Leuschel and D. De Schreye
Logic program specialisation: how to be more specific
Abstract
Standard partial deduction suffers from several drawbacks when compared to top-down abstract interpretation schemes. Conjunctive partial deduction, an extension of standard partial deduction, remedies one of those, namely the lack of side-ways information passing. But two other problems remain: the lack of success-propagation as well as the lack of inference of global success-information. We illustrate these drawbacks and show how they can be remedied by combining conjunctive partial deduction with an abstract interpretation technique known as more specific program construction. We present a simple, as well as a more refined integration of these methods. Finally we illustrate the practical relevance of this approach for some advanced applications, like specialising certain meta-programs written in the ground representation, were it surpasses the precision of current abstract interpretation techniques.
Appeared in Programming Languages, Implementations, Logics, and Programs, H.Kuchen and S.D. Swierstra (eds.), LNCS 1140, Springer Verlag, pp.37-151
report.pdf / mailto: M. Leuschel