Balancing precision and performance in structured merge
Semantic Diff: a tool for summarizing the effects of modifications