Data differencing
Diff
Pattern matching
Distributed computing
Matching
Graph theory
Graph rewriting
Mathematics
Computing
Theoretical computer science