2268 search results - page 374 / 454 » Semantic Integration |
204
click to vote
POPL
2004
ACM
16 years 3 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
104
click to vote
CADE
2005
Springer
16 years 3 months ago
2005
Springer
In many theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
115
Voted
CADE
2003
Springer
16 years 3 months ago
2003
Springer
We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory. Such a framework is useful for debugg...
196
click to vote
SIGMOD
2006
ACM
16 years 3 months ago
2006
ACM
Consider an XML view defined over a relational database, and a user query specified over this view. This user XML query is typically processed using the following steps: (a) our t...
130
click to vote
SIGMOD
2004
ACM
16 years 3 months ago
2004
ACM
Querying XML data is a well-explored topic with powerful databasestyle query languages such as XPath and XQuery set to become W3C standards. An equally compelling paradigm for que...