Skip to main content
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch de
CORDIS - Forschungsergebnisse der EU
CORDIS

Program Intelligence, Declaratively and Symbolically

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

The Incredible Shrinking Context... in a Decompiler Near You (öffnet in neuem Fenster)

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) (öffnet in neuem Fenster)

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

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor

Mein Booklet 0 0