120 search results - page 3 / 24 » Cooperative Constraint Functional Logic Programming |
ICLP
2007
Springer
13 years 11 months ago
2007
Springer
CCL
1999
Springer
13 years 9 months ago
1999
Springer
WLP
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
RC
2002
13 years 5 months ago
2002
Existing interval constraint logic programming languages, such as BNR Prolog, work under the framework of interval narrowing and are deficient in solving systems of linear constrai...
GI
2009
Springer
13 years 10 months ago
2009
Springer
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...