7
Simple example
•Swap order of formal parameters
•It’s not a local change nor a syntactic change
•It requires semantic knowledge about the programming language
•Griswold uses a variant of the sequence-congruence theorem [Yang] for equivalence
–Based on PDGs
•It’s an O(1) tool