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 SPADE project aims to enhance static program analysis by using a declarative approach that improves flexibility and execution speed. It will develop tools applicable to various programming languages, focusing on error detection and optimizing compilers.
Static program analysis is a fundamental computing challenge.
We have recently demonstrated significant advantages from expressing analyses for Java declaratively, in the Datalog language.
This means that the algorithm is in a form that resembles a pure logical specification, rather than a step-by-step definition of the execution.
The declarative specification does not merely cover the main logic of the algorithm, but its entire implementation, including the handling of complex semantic features…
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 topics.
