Explainable Declarative Programming Analysis

Project: Dissertation

Description

Support easy development of powerful and explainable program analyses through declarative programming, so that interactive tools can effectively and efficiently utilize such analyses and describe the analyses’ conclusions to software developers.
StatusActive
Effective start/end date2019/11/01 → …

Participants