A type system for regular expressions.

Eric Spishak Werner Dietl Michael D. Ernst

Published in: FTfJP@ECOOP (2012)

Keyphrases

regular expressions
pattern matching
finite automata
xml schema
semistructured data
query language
matching algorithm
regular path queries
tree automata
regular languages
deterministic finite automata
domain knowledge
query evaluation
context free grammars
frequent sequences