59 search results - page 2 / 12 » Implementing a Lazy Functional Logic Language with Disequali... |
PLILP
1998
Springer
13 years 9 months ago
1998
Springer
FROCOS
2000
Springer
13 years 9 months ago
2000
Springer
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...
PADL
2004
Springer
13 years 10 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...
FLOPS
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. We present a declarative method for diagnosing missing computed answers in CFLP(D), a generic scheme for lazy Constraint Functional-Logic Programming which can be instant...
PPDP
2004
Springer
13 years 10 months ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...