Responsibility Analysis by Abstract Interpretation.

Chaoqiang Deng Patrick Cousot

Published in: CoRR (2019)

Keyphrases

abstract interpretation
data analysis
database systems
fine grained
static analysis