Demanded Abstract Interpretation (Extended Version).

Benno Stein Bor-Yuh Evan Chang Manu Sridharan

Published in: CoRR (2021)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
data warehouse
software engineering
model checking
query evaluation
object oriented databases
dynamic analysis