1090 search results - page 18 / 218 » Type-Directed Partial Evaluation |
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
The streaming evaluation is a popular way of evaluating queries on XML documents. Besides its many advantages, it is also the only option for a number of important XML application...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
For the RISM A/II collection of musical incipits (short extracts of scores, taken from the beginning), we have established a ground truth based on the opinions of human experts. I...
LOPSTR
2004
Springer
14 years 27 days ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
FASE
2010
Springer
14 years 2 months ago
2010
Springer
Actor programs consist of a number of concurrent objects called actors, which communicate by exchanging messages. Nondeterminism in actors results from the different possible orde...
PADL
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In aspect-oriented programming, pointcuts are usually compiled by identifying a set of shadows — that is, places in the code whose execution is potentially relevant for...