672 search results - page 25 / 135 » On the Expressive Power of the Loop Language |
125
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We consider linear time temporal logic enriched with semiextended regular expressions through various operators that have been proposed in the literature, in particular i...
220
click to vote
ICDE
2006
IEEE
16 years 3 months ago
2006
IEEE
The XPath language incorporates powerful primitives for formulating queries containing nested subexpressions which are existentially or universally quantified. However, even the b...
107
click to vote
CSL
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We study the succinctness of monadic second-order logic and a variety of monadic fixed point logics on trees. All these languages are known to have the same expressive p...
DOCENG
2007
ACM
15 years 5 months ago
2007
ACM
We present a set of XML language extensions that bring notions from functional programming to web authors, extending the power of declarative modelling for the web. Our previous w...
135
click to vote
HASKELL
2007
ACM
15 years 5 months ago
2007
ACM
We propose an extension to list comprehensions that makes it easy to express the kind of queries one would write in SQL using ORDER BY, GROUP BY, and LIMIT. Our extension adds exp...