Proof-directed program transformation: A functional account of efficient regular expression matching.

Andrzej Filinski

Published in: J. Funct. Program. (2021)

Keyphrases

approximate matching
regular expressions
pattern matching
matching algorithm
static analysis
string matching
record linkage
high level
finite automata
approximate string matching
edit distance
theorem proving
semistructured data
transformation parameters
regular path queries