Program Intelligence, Declaratively and Symbolically

Informazioni relative al progetto

PINDESYM

ID dell’accordo di sovvenzione: 101095951

DOI

10.3030/101095951

Data della firma CE 24 Ottobre 2023

Data di avvio 1 Gennaio 2024

Data di completamento 31 Dicembre 2028

Finanziato da

• European Research Council (ERC)

Costo totale

€ 2 395 875,00

Contributo UE

€ 2 395 875,00

Coordinato da

ETHNIKO KAI KAPODISTRIAKO PANEPISTIMIO ATHINON
Greece

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Peer reviewed articles (2)

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

Autori: Sifis Lagouvardos, Yannis Bollanos, Neville Grech, Yannis Smaragdakis
Pubblicato in: Proceedings of the ACM on Software Engineering, Numero 2, 2025, ISSN 2994-970X
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3728935

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

Autori: Anastasios Antoniadis, Ilias Tsatiris, Neville Grech, Yannis Smaragdakis
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 9, 2025, ISSN 2475-1421
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3763129