A Parametric Abstract Domain for Lattice-Valued Regular Expressions.

Jan Midtgaard Flemming Nielson Hanne Riis Nielson

Published in: SAS (2016)

Keyphrases

regular expressions
pattern matching
query language
finite automata
semistructured data
regular languages
xml schema
tree automata
deterministic finite automata
matching algorithm
high level
domain specific
finite state machines
bit parallel
query evaluation