Sciweavers

21 search results - page 1 / 5
» Embedding Multiset Constraints into a Lazy Functional Logic ...
Sort
View
90
Voted
PLILP
1998
Springer
15 years 5 months ago
Embedding Multiset Constraints into a Lazy Functional Logic Language
Puri Arenas-Sánchez, Francisco Javier L&oac...
83
Voted
ICLP
1992
Springer
15 years 5 months ago
Implementing a Lazy Functional Logic Language with Disequality Constraints
Herbert Kuchen, Francisco Javier López-Frag...
112
Voted
TCS
1998
15 years 22 days 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...
109
Voted
ICFP
2004
ACM
16 years 1 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
221
Voted
ICFP
2009
ACM
16 years 1 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