1683 search results - page 2 / 337 » A Needed Narrowing Strategy |
FLOPS
1999
Springer
13 years 9 months ago
1999
Springer
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
RTA
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
PPDP
2001
Springer
13 years 9 months ago
2001
Springer
This paper describes an implementation of narrowing, an essential component of implementations of modern functional logic languages. These implementations rely on narrowing, in pa...
PLILP
1993
Springer
13 years 9 months ago
1993
Springer
Many recent proposals for the integration of functional and logic programming use conditional term rewriting systems (CTRS) as programs and narrowing as goal solving mechanism. Thi...
HICSS
1997
IEEE
13 years 9 months ago
1997
IEEE
The profitability of banks world-wide has decreased from the early 1980s to the 1990s. This has been attributed to several factors: the decline of traditional banking activities (...