Skip to main content
Vai all'homepage della Commissione europea (si apre in una nuova finestra)
italiano italiano
CORDIS - Risultati della ricerca dell’UE
CORDIS

Asymptotic Speedups for Free through Automatic Incremental Computing

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

Separate Compilation and Partial Linking: Modules for Datalog IR (si apre in una nuova finestra)

Autori: David Klopp, André Pacak, Sebastian Erdweg
Pubblicato in: Proceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Numero 2, 2024
Editore: ACM
DOI: 10.1145/3689484.3690737

Abstract Interpretation of Java Bytecode in Sturdy (si apre in una nuova finestra)

Autori: Stefan Marx, Sebastian Erdweg
Pubblicato in: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024
Editore: ACM
DOI: 10.1145/3678721.3686226

A Typed Multi-level Datalog IR and Its Compiler Framework (si apre in una nuova finestra)

Autori: David Klopp, Sebastian Erdweg, André Pacak
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 8, 2024, ISSN 2475-1421
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3689767

Object-Oriented Fixpoint Programming with Datalog (si apre in una nuova finestra)

Autori: David Klopp, Sebastian Erdweg, André Pacak
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 8, 2024, ISSN 2475-1421
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3689713

È in corso la ricerca di dati su OpenAIRE...

Si è verificato un errore durante la ricerca dei dati su OpenAIRE

Nessun risultato disponibile

Il mio fascicolo 0 0