Transforming Abstract Interpretations by Abstract Interpretation.

Roberto Giacobazzi Isabella Mastroeni

Published in: SAS (2008)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
reasoning engine
active databases
dynamic analysis
high level
evaluation method