Bimonadic Semantics for Basic Pattern Matching Calculi.

Wolfram Kahl Jacques Carette Xiaoheng Ji

Published in: MPC (2006)

Keyphrases

pattern matching
regular expressions
pattern matching algorithm
matching process
string matching
tree matching
semantic information
vague concepts
logic programming
hamming distance
approximate pattern matching
keywords
multiresolution
information retrieval systems
suffix tree
boyer moore