1638 search results - page 1 / 328 » Properties of input-consuming derivations |
LOPSTR
2004
Springer
13 years 10 months ago
2004
Springer
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...
TPLP
2002
13 years 4 months ago
2002
We study the properties of input-consuming derivations of moded logic programs. Inputconsuming derivations can be used to model the behavior of logic programs using dynamic schedu...
VAMOS
2008
Springer
13 years 6 months ago
2008
Springer
Software product lines (SPLs) allow to generate tailormade software products by selecting and composing reusable code units. However, SPLs with hundreds of features and millions o...
SIAMJO
2010
12 years 11 months ago
2010
In this work we introduce for extended real valued functions, defined on a Banach space X, the concept of K directionally Lipschitzian behavior, where K is a bounded subset of X. F...
AAAI
1992
13 years 5 months ago
1992
