3566 search results - page 148 / 714 » Signed Logic Programs |
195
Voted
JUCS
2006
15 years 2 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 ...
120
Voted
ICLP
2007
Springer
15 years 9 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
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
89
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
154
Voted
OPODIS
2003
15 years 4 months 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...