Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

Asymptotic Speedups for Free through Automatic Incremental Computing

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Separate Compilation and Partial Linking: Modules for Datalog IR (s’ouvre dans une nouvelle fenêtre)

Auteurs: David Klopp, André Pacak, Sebastian Erdweg
Publié dans: Proceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Numéro 2, 2024
Éditeur: ACM
DOI: 10.1145/3689484.3690737

Abstract Interpretation of Java Bytecode in Sturdy (s’ouvre dans une nouvelle fenêtre)

Auteurs: Stefan Marx, Sebastian Erdweg
Publié dans: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024
Éditeur: ACM
DOI: 10.1145/3678721.3686226

A Typed Multi-level Datalog IR and Its Compiler Framework (s’ouvre dans une nouvelle fenêtre)

Auteurs: David Klopp, Sebastian Erdweg, André Pacak
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 8, 2024, ISSN 2475-1421
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3689767

Object-Oriented Fixpoint Programming with Datalog (s’ouvre dans une nouvelle fenêtre)

Auteurs: David Klopp, Sebastian Erdweg, André Pacak
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 8, 2024, ISSN 2475-1421
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3689713

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible

Mon livret 0 0