Efficient and Correct Stencil Computation via Pattern Matching and Static Typing

Dominic A. Orchard Alan Mycroft

Published in: DSL (2011)

Keyphrases

pattern matching
boyer moore
matching process
regular expressions
tree matching
approximate pattern matching
bit parallel
pattern matching algorithm
string matching
matching strategy
relational databases
nearest neighbor
suffix tree
lossy compression
data sets
graph matching
similarity measure
information retrieval