1613 search results - page 33 / 323 » Functional and Constraint Logic Programming |
124
Voted
PLPV
2010
ACM
16 years 10 days ago
2010
ACM
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...
126
Voted
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
179
Voted
CORR
2004
Springer
15 years 3 months ago
2004
Springer
Many functional logic languages are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction mechanism of functional languages and the resolutio...
131
Voted
JELIA
2004
Springer
15 years 8 months ago
2004
Springer
In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different...
115
click to vote
ENTCS
2007
15 years 3 months ago
2007
Programs in modern functional logic languages are rewrite systems following the constructor discipline but where confluence and termination are not required, thus defining possi...