8766 search results - page 378 / 1754 » Functional logic programming |
154
Voted
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
109
Voted
DEXAW
2008
IEEE
15 years 10 months ago
2008
IEEE
Today’s high-speed network allows sophisticated applications of overlay networks. Meanwhile, usage of multicore processors has been spreading. The level of concurrency we need t...
123
click to vote
ENTCS
2006
15 years 3 months ago
2006
We formalize two proofs of weak head normalization for the simply typed lambdacalculus in first-order minimal logic: one for normal-order reduction, and one for applicative-order ...
113
Voted
POPL
1998
ACM
15 years 7 months ago
1998
ACM
Data structures with a hole, in other words data structures with an uninitialized field, are useful to write efficient programs: they enable us to construct functional data stru...
140
click to vote
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...