Research Topics
[GB] A Common Runtime for Predicate Dispatch
Applications on modern desktop operating systems are often designed in a monlothic way, limiting the flexibility of users and developers. There exist approaches to more modular working environments, as the Tools and Materials approach of
In this work a practical solution for predicate dispatch is presented: Predicate-C. This solution uses a restricted predicate language, that guarantees a polynomial bounded runtime by providing still an higher expressiveness than other modern programming languages on runtime properties. Furthermore, by implementing Predicate-C as a thin runtime library on top of C, Predicate-C can be integrated in arbitrary runtime environments and therefore be used as a foundation library for a desktop application framework.
Betreuer: Sebastian Götz