Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski pl
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

Program Intelligence, Declaratively and Symbolically

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

The Incredible Shrinking Context... in a Decompiler Near You (odnośnik otworzy się w nowym oknie)

Autorzy: Sifis Lagouvardos, Yannis Bollanos, Neville Grech, Yannis Smaragdakis
Opublikowane w: Proceedings of the ACM on Software Engineering, Numer 2, 2025, ISSN 2994-970X
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3728935

Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning) (odnośnik otworzy się w nowym oknie)

Autorzy: Anastasios Antoniadis, Ilias Tsatiris, Neville Grech, Yannis Smaragdakis
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 9, 2025, ISSN 2475-1421
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3763129

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Moja broszura 0 0