85 search results - page 1 / 17 » Specialization of Lazy Functional Logic Programs |
PEPM
1997
ACM
13 years 7 months ago
1997
ACM
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...
WCFLP
2005
ACM
13 years 10 months ago
2005
ACM
Program slicing is a well-known technique that extracts from a program those statements which are relevant to a particular criterion. While static slicing does not consider any in...
ICFP
1999
ACM
13 years 8 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...
WFLP
2000
Springer
13 years 8 months ago
2000
Springer
We describe the current status of the development of CFLP, a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constrain...