Compilation Principles and Techniques for Reversible Languages

The DC will study techniques for translating high-level reversible languages to efficient low-level reversible and irreversible representations. Initially the work will build on and develop the prototype compilers for Janus-like and object-oriented reversible languages. The main objective is the development of optimisation techniques for compilation specific to reversible programs, both to reversible and irreversible computer architectures. This includes the development of a benchmark suit specific for reversible compilation.

1) Foundations and novel techniques for optimising compilers comprising program analysis and code generation; 2) Prototype compiler for a Janus-like and an object-oriented reversible language; 3) Benchmark suits and empirical evaluation.