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 focuses on enhancing the Rust programming language by developing formal tools to verify the safety of encapsulated unsafe code. It aims to ensure that Rust can maintain its safety guarantees while allowing low-level control, which is crucial for systems programming.
A longstanding question in the design of programming languages is how to balance safety and control.
C-like languages give programmers low-level control over resource management at the expense of safety, whereas Java-like languages give programmers safe high-level abstractions at the expense of control.Rust is a new language developed at Mozilla Research that marries together the low-level flexibility of modern C++ with a strong ""ownership-based"" type system guaranteeing type safety, memory sa…
MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
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.
