1087 search results - page 9 / 218 » Eta-Redexes in Partial Evaluation |
179
click to vote
PPDP
2005
Springer
15 years 11 months ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...
243
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
In this paper, we study the evaluation of skyline queries with partially-ordered attributes. Because such attributes lack a total ordering, traditional index-based evaluation algo...
177
click to vote
CORR
2002
Springer
15 years 5 months ago
2002
Springer
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...
153
click to vote
ICDIM
2007
IEEE
16 years 11 days ago
2007
IEEE
: Some measures such as average precision over all relevant documents and recall level precision are considered as good system-oriented measures, because they concern both precisio...
136
click to vote
ASIAN
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Type-directed partial evaluation is a new approach to program specialization for functional programming languages. Its merits with respect to the traditional offline part...