Multivariant Assertion-based Guidance in Abstract Interpretation.

Isabel Garcia-Contreras José F. Morales Manuel V. Hermenegildo

Published in: CoRR (2018)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
model checking
reasoning engine
dynamic analysis
active databases
case study
database systems
multi agent systems
fine grained
data flow