The Quotient of an Abstract Interpretation.

Agostino Cortesi Gilberto Filé William H. Winsborough

Published in: Theor. Comput. Sci. (1998)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
reasoning engine
active databases
object oriented
dynamic analysis
artificial intelligence