3535 search results - page 518 / 707 » Logic Program Specialisation |
159
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
We explore partial type-inference for System F based on type-containment. We consider both cases of a purely functional semantics and a call-by-value stateful semantics. To enable...
151
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
143
click to vote
ILP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Despite the considerable success of Inductive Logic Programming, deployed ILP systems still have efficiency problems when applied to complex problems. Several techniques ...
133
click to vote
PEPM
2007
ACM
15 years 11 months ago
2007
ACM
Having been convinced of the potential benefits of partial evaluation, we wanted to conduct some experiments in our favourite Computer Algebra System, Maple. Maple is a large lan...
127
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Learning general truths from the observation of simple domains and, further, learning how to use this knowledge are essential capabilities for any intelligent agent to understand ...