Flix: A Meta Programming Language for Datalog

Magnus Madsen; Jonathan Lindegaard Starup; Ondřej Lhoták

Flix: A Meta Programming Language for Datalog

Magnus Madsen, Jonathan Lindegaard Starup, Ondřej Lhoták

Department of Computer Science

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

52 Downloads (Pure)

Abstract

We illustrate how Flix can be used as a powerful and expressive meta programming language for Datalog.

Original language	English
Title of host publication	Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022)
Publisher	CEUR-WS.org
Publication date	Sept 2022
Pages	202-206
Publication status	Published - Sept 2022
Event	Datalog 2.0 2022: 4th International Workshop on the Resurgence of Datalog in Academia and Industry - Genova, Italy Duration: 5 Sept 2022 → 5 Sept 2022 https://sites.google.com/unical.it/datalog20-2022

Workshop

Workshop	Datalog 2.0 2022
Country/Territory	Italy
City	Genova
Period	05/09/2022 → 05/09/2022
Internet address	https://sites.google.com/unical.it/datalog20-2022

Series	CEUR Workshop Proceedings
Volume	3203
ISSN	1613-0073

Keywords

Flix
Datalog
Programming Languages

Access to Document

Flix A Meta Programming Language for DatalogFinal published version, 1.08 MBLicence: CC BY

https://ceur-ws.org/Vol-3203/short8.pdfLicence: CC BY

Cite this

@inproceedings{7fec86744fcf49df9d2e2ea304f43875,

title = "Flix: A Meta Programming Language for Datalog",

abstract = "We illustrate how Flix can be used as a powerful and expressive meta programming language for Datalog.",

keywords = "Flix, Datalog, Programming Languages",

author = "Magnus Madsen and Starup, {Jonathan Lindegaard} and Ond{\v r}ej Lhot{\'a}k",

year = "2022",

month = sep,

language = "English",

series = "CEUR Workshop Proceedings",

publisher = "CEUR-WS.org",

pages = "202--206",

booktitle = "Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022)",

note = "Datalog 2.0 2022 : 4th International Workshop on the Resurgence of Datalog in Academia and Industry, Datalog 2.0 ; Conference date: 05-09-2022 Through 05-09-2022",

url = "https://sites.google.com/unical.it/datalog20-2022",

}

Flix: A Meta Programming Language for Datalog. / Madsen, Magnus ; Starup, Jonathan Lindegaard; Lhoták, Ondřej.
Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022). CEUR-WS.org, 2022. p. 202-206 (CEUR Workshop Proceedings, Vol. 3203).

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Flix

T2 - Datalog 2.0 2022

AU - Madsen, Magnus

AU - Starup, Jonathan Lindegaard

AU - Lhoták, Ondřej

PY - 2022/9

Y1 - 2022/9

N2 - We illustrate how Flix can be used as a powerful and expressive meta programming language for Datalog.

AB - We illustrate how Flix can be used as a powerful and expressive meta programming language for Datalog.

KW - Flix

KW - Datalog

KW - Programming Languages

M3 - Article in proceedings

T3 - CEUR Workshop Proceedings

SP - 202

EP - 206

BT - Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022)

PB - CEUR-WS.org

Y2 - 5 September 2022 through 5 September 2022

ER -

Flix: A Meta Programming Language for Datalog

Abstract

Workshop

Keywords

Access to Document

Fingerprint

Cite this