MetaDL: Analysing Datalog in Datalog

Alexandru Dura, Hampus Balldin, Christoph Reichenbach

Lund University

Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

1 Finished
1 Active

2 results

Active

Performance bug detection through combined static and dynamic program analysis
Dura, A. & Reichenbach, C.
2018/10/15 → …
Project: Dissertation
Finished

WASP startup package Christoph Reichenbach
Reichenbach, C.
2017/10/16 → 2021/10/15
Project: Research