Typeful Language Adaptation for Dynamic, Interacting and Evolving System

The novel Horizon Europe Programme targets the development of advanced technologies, formal methods and tools for reliable and efficient distributed applications in cloud-to-edge-to-IoT systems. Conventional
language and engineering techniques struggle to keep up with the pace at which such applications evolve and provide inadequate support for development/maintenance, automatic property
verification/enforcement and bug detection.
T-LADIES has 3 pillars:
1) as a flexible and noninvasive mechanism for the adaptation of complex applications to different scenariosLANGUAGE ADAPTATION
2) as cornerstones for modular development of complex and evolving applicationsINTERACTION MECHANISMS
3) for the specification of entities, error detection and type-driven application synthesis


36 Months

Financial Institution