On the Power of Abstract Interpretation.

Uday S. Reddy Samuel N. Kamin

Published in: Comput. Lang. (1993)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
reasoning engine
active databases
open source
dynamic analysis