7456 search results - page 106 / 1492 » Parallelism in Logic Programming |
134
Voted
JUCS
2006
15 years 2 months ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
86
Voted
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
CONCUR
2005
Springer
15 years 8 months ago
2005
Springer
126
Voted
ARTS
1997
Springer
15 years 6 months ago
1997
Springer
115
click to vote
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...