Formal Validation of Pattern Matching code.

Claude Kirchner Pierre-Etienne Moreau Antoine Reilles

Published in: Trustworthy Software (2006)

Keyphrases

pattern matching
string matching
tree matching
regular expressions
source code
compressed text
matching process
pattern matching algorithm
database
hamming distance
databases
image processing
data structure
suffix tree
matching strategy
approximate pattern matching