Skip to main content
Go to the home page of the European Commission (opens in new window)
English en
CORDIS - EU research results
CORDIS

Program Intelligence, Declaratively and Symbolically

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

The Incredible Shrinking Context... in a Decompiler Near You (opens in new window)

Author(s): Sifis Lagouvardos, Yannis Bollanos, Neville Grech, Yannis Smaragdakis
Published in: Proceedings of the ACM on Software Engineering, Issue 2, 2025, ISSN 2994-970X
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3728935

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

Author(s): Anastasios Antoniadis, Ilias Tsatiris, Neville Grech, Yannis Smaragdakis
Published in: Proceedings of the ACM on Programming Languages, Issue 9, 2025, ISSN 2475-1421
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3763129

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0