1087 search results - page 65 / 218 » Eta-Redexes in Partial Evaluation |
192
click to vote
SIPEW
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The excellent performance of the contemporary x86 processors is partially due to the complexity of their memory architecture, which therefore plays a role in performance ...
141
click to vote
ENTCS
2008
15 years 6 months ago
2008
Lazy evaluation (or call-by-need) is widely used and well understood, partly thanks to a clear operational semantics given by Launchbury. However, modern non-strict functional lan...
189
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
181
click to vote
AMAI
2007
Springer
15 years 6 months ago
2007
Springer
We present here a formal foundation for an iterative and incremental approach to constructing and evaluating preference queries. Our main focus is query modification: a query tran...
133
click to vote
ICDCSW
2005
IEEE
15 years 11 months ago
2005
IEEE
Content-based event matching is an important problem in large-scale event-based publish/subscribe systems. However, open questions remain in ...