3535 search results - page 5 / 707 » Logic Program Specialisation |
ECOOPW
1999
Springer
14 years 24 days ago
1999
Springer
FLOPS
2004
Springer
14 years 7 days ago
2004
Springer
This paper presents a self-applicable partial evaluator for a considerable subset of full Prolog. The partial evaluator is shown to achieve non-trivial specialisation and be effect...
DIS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper we explore a topic which is at the intersection of two areas of Machine Learning: namely Support Vector Machines (SVMs) and Inductive Logic Programming (ILP...
DAGSTUHL
1996
13 years 9 months ago
1996
A partial evaluator, given a program and a known "static" part of its input data, outputs a specialised or residual program in which computations depending only on the st...
ESOP
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We present a generic algorithm for solving Horn clauses through iterative specialisation. The algorithm is generic in the sense that it can be instantiated with any decid...