835 search results - page 9 / 167 » Structural Recursion as a Query Language |
POPL
2007
ACM
14 years 7 months ago
2007
ACM
Massive amounts of useful data are stored and processed in ad hoc formats for which common tools like parsers, printers, query engines and format converters are not readily availa...
CLIN
2004
13 years 9 months ago
2004
The present paper reports on an end-to-end application using a deep processing grammar to extract spatial and temporal information of prepositional and adverbial expressions from ...
LICS
2003
IEEE
14 years 24 days ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
ICDE
2006
IEEE
14 years 1 months ago
2006
IEEE
— XML stream applications bring the challenge of efficiently processing queries on sequentially accessible tokenbased data. For efficient processing of queries, we need to ensu...
CADE
2004
Springer
14 years 7 months ago
2004
Springer
This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus prov...