Regular combinators for string transformations.

Rajeev Alur Adam Freilich Mukund Raghothaman

Published in: CSL-LICS (2014)

Keyphrases

data structure
edit distance
pattern matching
regular expressions
image processing
recursive functions
xml documents
suffix tree
context free grammars
string matching
approximate string matching
real time
dynamic programming
d objects
multiscale
clustering algorithm
variable length
suffix array
string edit distance