672 search results - page 18 / 135 » On the Expressive Power of the Loop Language |
104
Voted
ICALP
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper studies the expressive power of finite-state automata recognizing sets of real numbers encoded positionally. It is known that the sets that are definable in th...
182
click to vote
SOFSEM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Constraint Handling Rules (CHR) is a general purpose, committedchoice declarative language which, differently from other similar languages, uses multi-headed (guarded) ru...
138
click to vote
CAV
2006
Springer
15 years 5 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
140
Voted
LATA
2010
Springer
15 years 9 days ago
2010
Springer
We apply language theory to compare the expressive power of models that extend Petri nets with features like colored tokens and/or whole place operations. Specifically, we conside...
133
click to vote
PAAMS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Regular expressions, or simply regex, have been widely used as a powerful pattern matching and text extractor tool through decades. Although they provide a powerful and f...