3566 search results - page 148 / 714 » Signed Logic Programs |
150
click to vote
JUCS
2006
14 years 11 months ago
2006
: Several techniques for implementing Prolog in a efficient manner have been devised since the original interpreter, many of them aimed at achieving more speed. There are two main ...
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...
ICLP
2007
Springer
15 years 5 months ago
2007
Springer
ICLP
2007
Springer
15 years 5 months ago
2007
Springer
114
click to vote
OPODIS
2003
15 years 17 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...