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 program analysis in computer science by using declarative specifications to simplify and optimize complex analyses. It aims to improve security and error detection in programming languages, making analyses more efficient and accessible.
Analyzing programs automatically is an activity in the heart of Computer Science research.
Program analysis is fundamentally very hard, as most involved analyses are either undecidable (i.e., mathematically impossible) or intractable (i.e., requiring an astronomically long time to complete).
As a result, analyses have high complexity due to their need to achieve efficiency.
We propose to implement advanced program analysis algorithms using purely declarative specifications.
Such declarative spec…
ETHNIKO KAI KAPODISTRIAKO PANEPISTIMIO ATHINON
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.
