We will develop a compiler for the project language, to enable the full demonstration of the chosen case studies. The development of this example compiler will not necessarily be fully proven. Suitable tools will be used to obtain a prototype compiler as early as possible to support the full investigation of the case studies. As far as possible in the framework of the project, the prototype compiler will be based on proven correct specifications. On a more loose basis we will investigate global methods for compiler design which lead to a high degree of confidence in their correctness.