Research Topics:

The following incomplete list shall give a raw idea of our major research topics.

• Code selection

• Instruction scheduling

• Register allocation

• Code generation

• Code replication

• Speculative execution

• Java

• Types in object-oriented programming

• Component programming

• Implementation of logic programming languages

• Constraint logic programming

• Termination inference

• Space Based Computing Middleware

• Blockchain technologies

• Forth and stack-based languages

• Linux

• Interpreter

• ....

Further information can be found on the web pages of the people in the Complang Group.