150 search results - page 1 / 30 » A Unifying View of Functional and Logic Program Specializati... |
CSUR
1998
13 years 4 months ago
1998
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...
ENTCS
2007
13 years 5 months ago
2007
This paper is part of a comprehensive approach to debugging for functional logic languages. The basic idea of the whole project is to trace the execution of functional logic progr...
CORR
2004
Springer
13 years 4 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...
PEPM
1997
ACM
13 years 8 months ago
1997
ACM