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

Asymptotic Speedups for Free through Automatic Incremental Computing

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

Separate Compilation and Partial Linking: Modules for Datalog IR (odnośnik otworzy się w nowym oknie)

Autorzy: David Klopp, André Pacak, Sebastian Erdweg
Opublikowane w: Proceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Numer 2, 2024
Wydawca: ACM
DOI: 10.1145/3689484.3690737

Abstract Interpretation of Java Bytecode in Sturdy (odnośnik otworzy się w nowym oknie)

Autorzy: Stefan Marx, Sebastian Erdweg
Opublikowane w: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024
Wydawca: ACM
DOI: 10.1145/3678721.3686226

A Typed Multi-level Datalog IR and Its Compiler Framework (odnośnik otworzy się w nowym oknie)

Autorzy: David Klopp, Sebastian Erdweg, André Pacak
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 8, 2024, ISSN 2475-1421
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3689767

Object-Oriented Fixpoint Programming with Datalog (odnośnik otworzy się w nowym oknie)

Autorzy: David Klopp, Sebastian Erdweg, André Pacak
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 8, 2024, ISSN 2475-1421
Wydawca: Association for Computing Machinery (ACM)
DOI: 10.1145/3689713

Wyszukiwanie danych OpenAIRE...

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

Brak wyników

Moja broszura 0 0