On the power of abstract interpretation.

Uday S. Reddy Samuel N. Kamin

Published in: ICCL (1992)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
active databases
model checking
reasoning engine
database
dynamic analysis
information systems
management system
distributed systems