Interactive Abstract Interpretation with Demanded Summarization.

Benno Stein Bor-Yuh Evan Chang Manu Sridharan

Published in: ACM Trans. Program. Lang. Syst. (2024)

Keyphrases

abstract interpretation
termination analysis
active rules
static analysis
model checking
reasoning engine
high level
management system
integrity constraints
active databases
dynamic analysis