CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project aims to enhance software design by integrating resource management into programming languages. It focuses on developing a new type system that provides insights into resource consumption, enabling the creation of resource-efficient applications in areas like compiler correctness and component-based program…
Eliminating errors early in the software-design life cycle is crucial to reduce the tremendous societal cost represented by defective software.
Modern programming languages offer a variety of techniques for ensuring, at design time, the correctness of software systems with respect to the desired behaviors.
However, these techniques do not consider usually the software aspects related to programs resource consumption, in terms of execution time, memory space, energy consumption, etc.
So, new cont…
UNIVERSITY OF DUNDEE
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Italy, Bologna
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
