7124 search results - page 190 / 1425 » Programming Languages and Operating Systems |
205
click to vote
SOSP
2009
ACM
16 years 3 months ago
2009
ACM
Data-intensive applications are increasingly designed to execute on large computing clusters. Grouped aggregation is a core primitive of many distributed programming models, and i...
178
click to vote
SAC
2011
ACM
14 years 9 months ago
2011
ACM
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...
166
click to vote
CL
1999
Springer
15 years 6 months ago
1999
Springer
It is well known that dynamic typing in languages like Lisp is costly in terms of performance. Besides the cost of tag checking, the other major source of ine ciency comes from th...
169
click to vote
TYPES
2004
Springer
15 years 12 months ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspecifications, we present a particular instance concerned with the optimized compilation of a lazy language (called...
179
click to vote
DUX
2007
15 years 10 months ago
2007
The mobile phone is one of the most commonly carried pieces of personal, readily accessible digital technologies. Beyond just voice calls, they function as digital cameras, PDAs, ...