
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.