8766 search results - page 257 / 1754 » Functional logic programming |
ICLP
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
119
click to vote
APLAS
2010
ACM
14 years 10 months ago
2010
ACM
We consider programming language aspects of algorithms that operate on data too large to fit into memory. In previous work we have introduced IntML, a functional programming langu...
ICLP
2007
Springer
15 years 5 months ago
2007
Springer
112
click to vote
OPODIS
2003
15 years 11 days ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
192
click to vote
ICFP
2009
ACM
15 years 11 months ago
2009
ACM
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...