A Typed Multi-level Datalog IR and Its Compiler Framework

The resurgence of Datalog in the last two decades has led to a multitude of new Datalog systems. These systems explore novel ideas for improving Datalog's programmability and performance, making important contributions to the field. Unfortunately, the individual systems progress at a much slowe...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of ACM on programming languages Jg. 8; H. OOPSLA2; S. 1586 - 1614
Hauptverfasser:	Klopp, David, Erdweg, Sebastian, Pacak, André
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 08.10.2024
Schlagworte:	Compilers Constraint and logic programming Software and its engineering Theory of computation Type theory compiler framework multi-level IR Datalog type system
ISSN:	2475-1421, 2475-1421
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!