LOPSTR
2005
Springer
13 years 9 months ago
2005
Springer
LOPSTR
2005
Springer
13 years 9 months ago
2005
Springer
LOPSTR
2005
Springer
13 years 9 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
LOPSTR
2005
Springer
13 years 9 months ago
2005
Springer
A variable is local if it occurs in a clause body but not in its head. Local variables appear naturally in practical logic programming, but they complicate several aspects such as ...
LOPSTR
2005
Springer
13 years 9 months ago
2005
Springer
Abstract. Several models for context-sensitive analysis of modular programs have been proposed, each with different characteristics and representing different trade-offs. The ad...
LOPSTR
2005
Springer
13 years 9 months ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...