Programming languages, formal languages, design languages, meta languages, modeling languages, domain specific languages, etc. The Software Languages Lab covers all aspects of the research spectrum, including:
- Design of languages (advanced modularity, distribution, concurrency, context, …)
- Formal study of languages (type systems, abstract interpretation, static analysis, contract systems, …)
- Efficient implementation of languages (virtual machines, parallelization, scheduling, …)
- Tool support for languages (IDEs, debuggers, versioning tools, evolution support, refactoring, …)
- Applications of languages (android applications, RFID‐enabled applications, web applications, embedded applications, city-ware, …)