Program Intelligence, Declaratively and Symbolically

Projektinformationen

PINDESYM

ID Finanzhilfevereinbarung: 101095951

DOI

10.3030/101095951

EK-Unterschriftsdatum 24 Oktober 2023

Startdatum 1 Januar 2024

Enddatum 31 Dezember 2028

Finanziert unter

• European Research Council (ERC)

Gesamtkosten

€ 2 395 875,00

EU-Beitrag

€ 2 395 875,00

Koordiniert durch

ETHNIKO KAI KAPODISTRIAKO PANEPISTIMIO ATHINON
Greece

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Peer reviewed articles (2)

The Incredible Shrinking Context... in a Decompiler Near You

Autoren: Sifis Lagouvardos, Yannis Bollanos, Neville Grech, Yannis Smaragdakis
Veröffentlicht in: Proceedings of the ACM on Software Engineering, Ausgabe 2, 2025, ISSN 2994-970X
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3728935

Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)

Autoren: Anastasios Antoniadis, Ilias Tsatiris, Neville Grech, Yannis Smaragdakis
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 9, 2025, ISSN 2475-1421
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3763129