1131 search results - page 42 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
122
click to vote
WFLP
2000
Springer
15 years 4 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...
PPDP
2001
Springer
15 years 4 months ago
2001
Springer
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...
105
Voted
CORR
2006
Springer
15 years 14 days ago
2006
Springer
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...
147
Voted
CORR
2004
Springer
15 years 8 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...
146
click to vote
PLPV
2012
ACM
13 years 8 months ago
2012
ACM
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...