A Precise Framework for Source-Level Control-Flow Analysis

Idriss Riouak, Christoph Reichenbach, Görel Hedin, Niklas Fors

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

1 Finished
1 Active

1 results

Filter

Active

Explainable Declarative Programming Analysis
Riouak, I. (Researcher), Hedin, G. (Supervisor), Reichenbach, C. (Supervisor) & Fors, N. (Supervisor)
2019/11/01 → …
Project: Dissertation