3671 search results - page 176 / 735 » On Garbage and Program Logic |
139
click to vote
JELIA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The growing size of electronically available text corpora like companies’ intranets or the WWW has made information access a hot topic within computational linguistics....
133
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...
211
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 ...
127
click to vote
ICLP
2007
Springer
15 years 10 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...
128
Voted
ICLP
2007
Springer
15 years 10 months ago
2007
Springer