358 search results - page 1 / 72 » Parallel Evaluation Strategies for Functional Logic Language... |
106
click to vote
ICLP
1997
Springer
15 years 5 months ago
1997
Springer
We introduce novel, sound, complete, and locally optimal evaluation strategies for functional logic programming languages. Our strategies combine, in a non-trivial way, two landma...
122
Voted
ACL2
2006
ACM
15 years 6 months ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
149
Voted
CORR
2004
Springer
15 years 20 days 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...
135
Voted
ICFP
1999
ACM
15 years 5 months ago
1999
ACM
Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequent...
196
Voted
POPL
2002
ACM
16 years 1 months ago
2002
ACM
Functional logic overloading is a novel approach to userdefined overloading that extends Haskell's concept of type classes in significant ways. Whereas type classes are conce...