Correctness of Program Transformations as a Termination Problem.

Conrad Rau, David Sabel, Manfred Schmidt-Schau

Browse the full CADE paper archive.