762 search results - page 35 / 153 » Intercode Regular Languages |
126
click to vote
PPDP
2010
Springer
15 years 21 days ago
2010
Springer
We show how to achieve typed and unambiguous declarative pattern matching on strings using regular expressions extended with a simple recording operator. We give a characterizatio...
85
Voted
JUCS
2002
15 years 1 months ago
2002
: With any Petri net we associated its CPN language which consists of all sequences of transitions which reach a marking with an empty place whereas all proper prefixes of the sequ...
111
Voted
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
217
click to vote
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
Whether beloved or despised, XML Schema is momentarily the only industrially accepted schema language for XML and is unlikely to become obsolete any time soon. Nevertheless, many ...
105
click to vote
TYPES
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we use the Epigram language to define the universe of regular tree types—closed under empty, unit, sum, product and least fixpoint. We then present a generic deci...