144 search results - page 1 / 29 » Nondeterminism Analysis of Functional Logic Programs |
ICLP
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
PPDP
2000
Springer
13 years 9 months ago
2000
Springer
CORR
2006
Springer
13 years 5 months ago
2006
Springer
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...
FLOPS
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...
PPDP
2009
Springer
14 years 9 days ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...