FermaT is an industrial strength program transformation system targeted at reverse engineering, program comprehension and migration between programming languages. The system is currently being used in several migration projects to translate IBM 370 Assembler modules into equivalent readable and maintainable C and COBOL programs.

See http://www.dur.ac.uk/~dcs0mpw/