877 search results - page 157 / 176 » Full Abstraction for HOPLA |
SIGMOD
2007
ACM
14 years 8 months ago
2007
ACM
In this report, we provide a summary1 of the First Int'l VLDB Workshop on Clean Databases (CleanDB 2006), which took place at Seoul, Korea, on September 11, 2006, in conjunct...
SIGMOD
2007
ACM
14 years 8 months ago
2007
ACM
This paper presents HomeViews, a peer-to-peer middleware system for building personal data management applications. HomeViews provides abstractions and services for data organizat...
SIGMOD
2001
ACM
14 years 8 months ago
2001
ACM
Approximating the joint data distribution of a multi-dimensional data set through a compact and accurate histogram synopsis is a fundamental problem arising in numerous practical ...
ICFP
2005
ACM
14 years 8 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
Traditional parser generation technologies are incapable of handling the demands of modern programmers. In this paper, we present the design and theory of a new parsing engine, YA...