Sweeping in Abstract Interpretation.

Krzysztof Jakubczyk

Published in: Electron. Notes Theor. Comput. Sci. (2012)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
active databases
dynamic analysis
reasoning engine
databases
information systems