3825 search results - page 344 / 765 » The Language of Time: A Reader |
159
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
Traditional databases store sets of relatively static records with no pre-defined notion of time, unless timestamp attributes are explicitly added. While this model adequately rep...
153
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
This paper presents an automatic deforestation system, stream fusion, based on equational transformations, that fuses a wider range of functions than existing short-cut fusion sys...
168
click to vote
DCC
2007
IEEE
16 years 6 months ago
2007
IEEE
The extensible markup language XML has become indispensable in many areas, but a significant disadvantage is its size: tagging a set of data increases the space needed to store it...
146
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
This paper presents a method for creating formally correct just-intime (JIT) compilers. The tractability of our approach is demonstrated through, what we believe is the first, ver...
154
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs. ...