239 search results - page 1 / 48 » Partial Evaluation of Functional Logic Programs |
LPAR
1999
Springer
13 years 9 months ago
1999
Springer
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays...
CORR
2004
Springer
13 years 5 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...
TOPLAS
1998
13 years 5 months ago
1998
SLP
1994
13 years 6 months ago
1994
ICFP
1999
ACM
13 years 9 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...