Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis

Idriss Riouak

Research output: Thesis › Licentiate Thesis

229 Downloads (Pure)

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