CFlat : An Intermediate Representation Language for the Purpose of Software Migration to Java and C#.

In this thesis we will present the design and implementation of an intermediate representation language created for the purpose of software migration to Java and C#. Furthermore we will examine a set of transformations performed on programs of this language, followed by the discussion of a set of programs which perform semantic analysis. Finally we will examine the testing framework built around this language. The result of this thesis is a language built as much as feasible within the intersection of Java and C#. Other results include the aforementioned program transformations, semantic analysis and testing framework