Sciweavers

21 search results - page 1 / 5
» Embedding Multiset Constraints into a Lazy Functional Logic ...
Sort
View
PLILP
1998
Springer
13 years 9 months ago
Embedding Multiset Constraints into a Lazy Functional Logic Language
Puri Arenas-Sánchez, Francisco Javier L&oac...
ICLP
1992
Springer
13 years 8 months ago
Implementing a Lazy Functional Logic Language with Disequality Constraints
Herbert Kuchen, Francisco Javier López-Frag...
TCS
1998
13 years 4 months ago
Foundations of Aggregation Constraints
We introduce a new constraint domain, aggregation constraints, that is useful in database query languages, and in constraint logic programming languages that incorporate aggregate...
Kenneth A. Ross, Divesh Srivastava, Peter J. Stuck...
ICFP
2004
ACM
14 years 4 months ago
Implementing functional logic languages using multiple threads and stores
Recent functional logic languages such as Curry and Toy combine lazy functional programming with logic programming features including logic variables, non-determinism, unification...
Andrew P. Tolmach, Sergio Antoy, Marius Nita
ICFP
2009
ACM
14 years 5 months ago
Purely functional lazy non-deterministic programming
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan