3238 search results - page 292 / 648 » Multi-return function call |
131
click to vote
HPCA
2005
IEEE
16 years 2 months ago
2005
IEEE
In this paper, we study the instruction cache miss behavior of four modern commercial applications (a database workload, TPC-W, SPECjAppServer2002 and SPECweb99). These applicatio...
101
click to vote
CHI
2002
ACM
16 years 2 months ago
2002
ACM
Many applications require users to specify preferences. We support users in this task by letting them define preferences relative to their personal history or that of other users....
214
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...
207
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
Haskell's type classes allow ad-hoc overloading, or typeindexing, of functions. A natural generalisation is to allow type-indexing of data types as well. It turns out that th...
244
click to vote
POPL
2002
ACM
16 years 2 months ago
2002
ACM
Some compilation systems, such as offline partial evaluators and selective dynamic compilation systems, support staged optimizations. A staged optimization is one where a logicall...