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 investigates high-level specification languages for programming data structures to simplify reasoning about software. By allowing users to define invariants and operations, it aims to create efficient data representations tailored to specific needs, reducing complexity in software development.
One of the first things a programmer must commit to in developing any significant piece of software is the representation of the data.
In applications where performance or memory consumption is important, this representation is often quite complex: the data may be indexed in multiple ways and use a variety of concrete, interlinked data structures.
The current situation, in which programmers either directly write these data structures themselves or use a standard data structure library, leads to…
TEL AVIV UNIVERSITY
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Germany, Freiburg
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.
