15888 search results - page 2646 / 3178 » Supporting human-intensive systems |
309
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
283
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
308
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
Functional logic overloading is a novel approach to userdefined overloading that extends Haskell's concept of type classes in significant ways. Whereas type classes are conce...
307
click to vote
VLDB
2001
ACM
16 years 7 months ago
2001
ACM
The problem of answering queries using views is to find efficient methods of answering a query using a set of previously materialized views over the database, rather than accessin...
300
click to vote
VLDB
2001
ACM
16 years 7 months ago
2001
ACM
Abstract In this paper we present a mechanism for approximately translating Boolean query constraints across heterogeneous information sources. Achieving the best translation is ch...