4370 search results - page 234 / 874 » Algebra of Logic Programming |
168
Voted
JUCS
2006
15 years 15 days 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 ...
107
click to vote
ICLP
2007
Springer
15 years 6 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 6 months ago
2007
Springer
126
click to vote
OPODIS
2003
15 years 1 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...