aicas - Rule Driven Transformer

title:aicas - Rule Driven Transformer
company:aicas (Karsruhe, Germany)
keywords:
contact:prof.dr.ir. A. Rensink
to be started:any time


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.