2956 search results - page 126 / 592 » Databases and Higher Types |
FOSSACS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
156
click to vote
PODS
2009
ACM
15 years 10 months ago
2009
ACM
A distributed XML document is an XML document that spans several machines or Web repositories. We assume that a distribution design of the document tree is given, providing an XML...
PODS
1994
ACM
15 years 2 months ago
1994
ACM
We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion spe...
VLDB
1994
ACM
15 years 2 months ago
1994
ACM
This paper describes the design and implementation of Paradise, a database system designed for handling GIS type of applications. The current version of Paradise, uses a client{se...
ADC
2007
Springer
15 years 4 months ago
2007
Springer
Structured Query Language (SQL) is the dominant language for querying relational databases today, and is an essential topic in introductory database courses in higher education. E...