Identifying the semantic and textual differences between two versions of a program
The Tree-to-Tree Correction Problem