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...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of ACM on programming languages Ročník 8; číslo OOPSLA2; s. 1586 - 1614
Hlavní autoři:	Klopp, David, Erdweg, Sebastian, Pacak, André
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 08.10.2024
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!