9 search results - page 1 / 2 » lopstr 2007 |
LOPSTR
2007
Springer
13 years 10 months ago
2007
Springer
LOPSTR
2007
Springer
13 years 10 months ago
2007
Springer
LOPSTR
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. The goal of partial evaluation is the specialization of programs w.r.t. part of their input data. Although this technique is already well-known in the context of function...
LOPSTR
2007
Springer
13 years 10 months ago
2007
Springer
We propose an extension of Constraint Handling Rules (CHR) with aggregates such as sum, count, findall, and min. This new feature significantly improves the conciseness and expres...
LOPSTR
2007
Springer
13 years 10 months ago
2007
Springer
This paper introduces a modular framework for termination analysis of logic programming. To this end, we adapt the notions of dependency pairs and dependency graphs (which were dev...