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

Previous slide

Next slide

Back to first slide

View graphic version