Description

At aicas in Karlsruhe, Germany, they develop a cutting-edge RT Java compiler that compiles through to machine code for various architectures. There is need of one or more good students to continue a collaboration project with the Formal Methods and Tools group on a so-called Rule-Driven Transformer, in which code optimisation rules
for the compiler, on the byte-code or machine-code leve, are specified in a declarative rule-based language and subsequently compiled to be part of the compiler.