Verified Parallel String Matching in Haskell.

Niki Vazou Jeff Polakow

Published in: CoRR (2016)

Keyphrases

string matching
pattern matching
approximate string matching
edit distance
regular expressions
programming language
exact and approximate
suffix tree
pattern matching algorithm
dynamic programming
functional programming
clone detection
machine learning
high level