3513 search results - page 146 / 703 » Super Logic Programs |
125
Voted
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
203
click to vote
JUCS
2006
15 years 3 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 ...
124
click to vote
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...
124
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
92
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
