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

Full description

Bibliographic Details

Published in:	Proceedings of ACM on programming languages Vol. 8; no. OOPSLA2; pp. 1586 - 1614
Main Authors:	Klopp, David, Erdweg, Sebastian, Pacak, André
Format:	Journal Article
Language:	English
Published:	New York, NY, USA ACM 08.10.2024
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!