745 search results - page 9 / 149 » The Functional Side of Logic Programming |
117
Voted
ENTCS
2006
15 years 2 months ago
2006
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...
138
Voted
LISP
2007
15 years 2 months ago
2007
In this paper we propose a new generic scheme CFLP(D ), intended as a logical and semantic framework for lazy Constraint Functional Logic Programming over a parametrically given co...
121
Voted
PADL
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
150
Voted
LOPSTR
2005
Springer
15 years 8 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...
103
Voted
PPDP
1999
Springer
15 years 7 months ago
1999
Springer