23 search results - page 1 / 5 » XQuery Formal Semantics: State and Challenges |
SIGMOD
2001
ACM
14 years 4 months ago
2001
ACM
The XQuery formalization is an ongoing effort of the W3C XML Query working group to define a precise formal semantics for XQuery. This paper briefly introduces the current state o...
ICCS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...
DOCENG
2005
ACM
13 years 6 months ago
2005
ACM
We show how the full XPath language can be compiled into a minimal subset suited for stream-based evaluation. Specifically, we show how XPath normalization into a core language a...
CORR
2007
Springer
13 years 4 months ago
2007
Springer
but other abstract objects as well (e.g., states, processes, properties, activities, attributes, etc.) It will be demonstrated here that in such a framework, a number of challenges...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...