Sciweavers

198 search results - page 2 / 40
» Time Equations for Lazy Functional (Logic) Languages
Sort
View
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
APLAS
2000
ACM
13 years 9 months ago
An Open Environment for Cooperative Equational Solving
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
Tetsuo Ida, Mircea Marin
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 9 months ago
Implementing a Lazy Functional Logic Language with Disequality Constraints
Herbert Kuchen, Francisco Javier López-Frag...
IFL
1999
Springer
108views Formal Methods» more  IFL 1999»
13 years 9 months ago
Optimising Recursive Functions Yielding Multiple Results in Tuples in a Lazy Functional Language
Abstract. We discuss a new optimisation for recursive functions yielding multiple results in tuples for lazy functional languages, like Clean and Haskell. This optimisation improve...
John H. G. van Groningen