A Survey on Product Operators in Abstract Interpretation.

Agostino Cortesi Giulia Costantini Pietro Ferrara

Published in: Festschrift for Dave Schmidt (2013)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
reasoning engine
database
active databases
deductive databases
dynamic analysis