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 develops tools for Exploratory Program Synthesis, which assists programmers in generating code even when initial specifications are unclear. The aim is to enhance productivity and correctness by allowing programmers to focus on problem-solving rather than detailed coding.
Our goal is to create Program Synthesis that can be used during Exploratory Programming to boost productivity and reliability when programmers write code.
Program synthesis generates code for programmers so they can focus on the problem-solving aspects of their work.
This often requires programmers to write a specification for the desired code, but this specification may not exist.
Many aspects are initially undecided: implementation details, the division into subtasks, and at times even what th…
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.
Guests see up to 5 keywords.
