Matching logic: a new program verification approach.

Grigore Rosu Andrei Stefanescu

Published in: ICSE (2011)

Keyphrases

pattern matching
graph matching
matching algorithm
automated reasoning
classical logic
template matching
proof theory
image matching
logic programming
database
feature matching
feature points
pairwise
relational structures
predicate logic
approximate matching
information systems