Encoding Induction in Correctness Proofs of Program Transformations as a Termination Problem ∗

by Conrad Rau , David Sabel , Manfred Schmidt-schauß