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
The LiquidEff project aims to enhance the understanding of program correctness in modern programming languages by developing a comprehensive framework for type-based reasoning. It focuses on integrating various computational effects, enabling more effective programming practices and improving software reliability.
The goal of the LiquidEff project is to significantly advance the state of the art of type-based reasoning about the correctness of programs that can incorporate computational effects such as accessing memory, raising and handling exceptions, making nondeterministic and probabilistic choices, and communicating over a network---all integral features of modern mainstream programming languages.
The timeliness and importance of this project is demonstrated by the staggering cost of software failure…
UNIVERZA V LJUBLJANI
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
