1613 search results - page 34 / 323 » Functional and Constraint Logic Programming |
176
Voted
PLPV
2012
ACM
13 years 11 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 ...
154
Voted
ENTCS
2002
15 years 3 months ago
2002
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
217
click to vote
ENTCS
2007
15 years 3 months ago
2007
Computing with failures is a typical programming technique in functional logic programs. However, there are also situations where a program should not fail (e.g., in a determinist...
155
Voted
PLILP
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...
159
click to vote
CC
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...